Does this template include internationalization (i18n) support?

Yes, the template includes full i18n support with route-based locale detection and RTL/LTR direction handling.

Are shadcn-svelte components integrated?

Yes, shadcn-svelte components are fully integrated with Tailwind CSS v4 for modern UI development.

Does the template support SEO and structured data?

Yes, it includes store-based SEO metadata management and structured data configurations with examples.

Is there built-in state management?

Yes, the template uses centralized Svelte stores for global state management with TypeScript support.

Fermah Explorer

Back to workflows

Workflow execution

Completed Abstract 530 tasks · 14,705 subjobs

Created

May 21, 2026, 2:21 PM UTC

Completed

May 21, 2026, 3:15 PM UTC

Duration

53m 26s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 019e4aea…5410

Protocol version

0.29.4

chain_id 0

Inputs

Workflow user input

Decoded from the request payload — what the WASM consumed.

L1 batch number: 71,152
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_71152_0.cbor.zst
Protocol version: 0.29.4

Completed

527

In progress

Pending

Failed

Composition

Tasks in this execution

Every task delegated as part of this workflow.

Status	Type	Subjobs	Prover	Duration	Wait
Completed	Compressor	1	fermah-2	1m 17s	0μs
Completed	CircuitProver	1	p-ops	4.00s	11.00s
Completed	WitnessGeneratorScheduler	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	p2p	6.00s	2.00s
Completed	WitnessGeneratorRecursionTip	1	fermah.wg.c4d	4.00s	0μs
Completed	CircuitProver	1	rubynodes	3.00s	8.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	×11	blackblocks	19.00s	3.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4	30.00s	2.00s
Completed	CircuitProver	×32	fermah.cp.g4	32.00s	1.00s
Completed	CircuitProver	×32	fermah.cp.g4	43.00s	5.00s
Completed	CircuitProver	×27	fermah.cp.g4	34.00s	12.00s
Failed	CircuitProver	×32	fairstaking	2m 0s	19.00s
Completed	CircuitProver	×32	rubynodes	35.00s	10.00s
Completed	CircuitProver	×32	fermah.cp.g4	40.00s	7.00s
Completed	CircuitProver	×32	fermah.cp.g4	42.00s	17.00s
Completed	CircuitProver	×32	fermah.cp.g4	54.00s	36.00s
Completed	CircuitProver	×32	p-ops	29.00s	12.00s
Completed	CircuitProver	×32	fermah.cp.g4	31.00s	2.00s
Completed	CircuitProver	×32	fermah.cp.g4	53.00s	12.00s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	10.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	×2	p2p	8.00s	7.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	57.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	3.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4	52.00s	2.00s
Completed	CircuitProver	×13	fermah.cp.g4	31.00s	4.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	17.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5.00s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	1.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	7.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	3.00s	15.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	1.00s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	1m 13s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	3.00s	1m 19s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	×20	fermah.cp.g4	17.00s	1m 51s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	3.00s	0μs
Completed	CircuitProver	×13	fermah.cp.g4	13.00s	1m 59s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	3.00s	0μs
Completed	CircuitProver	×14	fermah.cp.g4	17.00s	1m 57s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	3.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	1m 51s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	2m 12s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	58.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	20.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	2.00s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	2m 21s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	9m 4s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	×2	fermah.cp.g4	5.00s	7m 28s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	3.00s	9m 35s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	1m 43s
Completed	WitnessGeneratorNodeAggregation	1	fermah-2	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	5.00s	1m 16s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	3.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	4m 45s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	1.00s	2.00s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	5m 19s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d	1.00s	1.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 48s
Completed	CircuitProver	1	husonode	4.00s	6m 1s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4	4.00s	22m 34s
Completed	WitnessGeneratorLeafAggregation	1	fermah-2	2.00s	1.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 18s
Completed	CircuitProver	1	fermah.cp.g4	4.00s	19m 34s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d	1.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 49s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 11s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 29s
Completed	CircuitProver	×32	blackblocks	44.00s	31m 46s
Completed	CircuitProver	×32	p-ops	45.00s	15m 46s
Completed	CircuitProver	×32	cp0x	38.00s	21m 2s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 23s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 51s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 33s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	12m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 17s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 58s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 55s
Failed	CircuitProver	×32	fermah.cp.g4	2m 0s	14m 44s
Completed	CircuitProver	×32	p2p	40.00s	18m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 26s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	24m 7s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	24m 20s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 45s
Completed	CircuitProver	×32	p-ops	26.00s	31m 58s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	7m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 26s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 50s
Completed	CircuitProver	×32	fairstaking	1m 49s	32m 8s
Completed	CircuitProver	×32	rubynodes	24.00s	4m 31s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	6m 48s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 15s
Completed	CircuitProver	×32	p2p	54.00s	17m 42s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	22m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 9s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 10s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	26m 17s
Completed	CircuitProver	×32	p-ops	25.00s	27m 17s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 50s
Completed	CircuitProver	×32	fermah.cp.g4	15.00s	32m 26s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	3m 20s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	9m 5s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	16m 51s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	29m 33s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 3s
Completed	CircuitProver	×32	moonli	24.00s	15.00s
Completed	CircuitProver	×32	moonli	22.00s	6m 50s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	19m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 14s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 30s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 9s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	25m 42s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 45s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	5m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 13s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	13m 15s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	13m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	16m 47s
Completed	CircuitProver	×32	blackblocks	1m 10s	17m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 21s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	24m 1s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	32m 1s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	2m 46s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	2m 53s
Completed	CircuitProver	×32	p-ops	41.00s	3m 47s
Completed	CircuitProver	×32	p-ops	23.00s	7m 15s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	13m 9s
Completed	CircuitProver	×32	husonode	23.00s	16m 19s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	19m 9s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	25m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 29s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	19m 1s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	20m 29s
Completed	CircuitProver	×32	rubynodes	24.00s	21m 38s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 19s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 29s
Completed	CircuitProver	×2	fermah.cp.g4	6.00s	23m 13s
Completed	CircuitProver	×4	fermah.cp.g4	6.00s	25m 56s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 56s
Completed	CircuitProver	×32	fermah.cp.g4	38.00s	3m 50s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 49s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 38s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 15s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 38s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 46s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	1m 20s
Completed	CircuitProver	×32	fermah.cp.g7e	39.00s	3m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 49s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 57s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 32s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 1s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	25m 38s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	28m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 41s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	7m 53s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	13m 47s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	17m 38s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	21m 48s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 50s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 32s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 35s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 37s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	32m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	1.00s
Completed	CircuitProver	×32	p-ops	24.00s	40.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 8s
Completed	CircuitProver	×32	rubynodes	1m 5s	17m 31s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 30s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	25m 5s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	29m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 3s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	1m 15s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	1m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 58s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 14s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	22m 45s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 19s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 29s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	55.00s
Completed	CircuitProver	×32	p2p	40.00s	2m 32s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	8m 13s
Completed	CircuitProver	×32	blackblocks	42.00s	13m 48s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 19s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	25m 59s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 6s
Completed	CircuitProver	×32	p2p	36.00s	31m 29s
Completed	CircuitProver	×32	rubynodes	25.00s	31m 55s
Completed	CircuitProver	×32	p-ops	25.00s	4m 53s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	12m 0s
Completed	CircuitProver	×32	husonode	25.00s	12m 10s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	13m 37s
Completed	CircuitProver	×32	fermah.cp.g4	16.00s	19m 10s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	24m 56s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	27m 33s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	6m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 17s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 29s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 52s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 24s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	29m 13s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 46s
Completed	CircuitProver	×32	rubynodes	24.00s	6m 34s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	14m 44s
Completed	CircuitProver	×32	p-ops	28.00s	20m 10s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 55s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 11s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	28m 6s
Completed	CircuitProver	×32	rubynodes	24.00s	1m 13s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 13s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 45s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	22m 3s
Completed	CircuitProver	×32	p-ops	25.00s	1m 4s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 57s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	12m 16s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 55s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	6m 38s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	13m 5s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	16m 45s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 33s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	22m 3s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	10m 20s
Completed	CircuitProver	×32	fermah.cp.g4	17.00s	14m 51s
Completed	CircuitProver	×16	husonode	16.00s	17m 12s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 59s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	2m 4s
Completed	CircuitProver	×32	cp0x	30.00s	14m 9s
Completed	CircuitProver	×32	moonli	20.00s	24m 41s
Completed	CircuitProver	×32	rubynodes	24.00s	4m 55s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 44s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	16m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 14s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	10m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	8m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 59s
Completed	CircuitProver	×32	fermah.cp.g7e	24.00s	21m 19s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 18s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	22m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 42s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 4s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 25s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 57s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	24m 38s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 46s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 13s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 19s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 56s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 45s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 7s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	30m 16s
Completed	CircuitProver	×32	fermah.cp.g4	8.00s	29m 27s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 2s
Completed	CircuitProver	×32	fermah.cp.g4	27.00s	19m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 33s
Completed	CircuitProver	×32	moonli	24.00s	22m 27s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 45s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	22m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 7s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 45s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	24m 6s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 43s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	30m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	29m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 7s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 22s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 27s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 44s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	20m 51s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 45s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 32s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	12m 27s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 15s
Completed	CircuitProver	×26	fermah.cp.g4	22.00s	29m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 16s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 35s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	17m 18s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	20m 57s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 49s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	12m 43s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	6m 9s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	18m 50s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	19m 58s
Completed	CircuitProver	×32	fermah.cp.g4	37.00s	3m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 25s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	9m 49s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	23m 40s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	29m 51s
Completed	CircuitProver	×32	moonli	23.00s	22m 56s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 23s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 3s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	7m 49s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	29m 45s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	11m 43s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	14m 47s
Completed	CircuitProver	×32	p-ops	23.00s	15m 8s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 49s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	21m 45s
Completed	CircuitProver	×32	fermah.cp.g7e	24.00s	19m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 25s
Completed	CircuitProver	×27	fermah.cp.g4	13.00s	29m 28s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 18s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	50.00s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 43s
Failed	CircuitProver	×32	rubynodes	10.00s	25m 5s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 24s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 50s
Completed	CircuitProver	×32	fermah.cp.g4	10.00s	29m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	3m 35s
Completed	CircuitProver	×32	p-ops	23.00s	22m 56s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 51s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 33s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 55s
Completed	CircuitProver	×28	fermah.cp.g4	21.00s	20m 49s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 22s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 23s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	26m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 41s
Completed	CircuitProver	×32	blackblocks	43.00s	12m 47s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	2m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 0s
Completed	CircuitProver	×32	p-ops	23.00s	6m 7s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	6m 37s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	5m 22s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 18s
Completed	CircuitProver	×32	rubynodes	25.00s	8m 59s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 48s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 52s
Completed	CircuitProver	×32	p-ops	27.00s	1m 56s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 30s
Completed	CircuitProver	×32	fermah.cp.g7e	24.00s	22m 9s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 14s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 46s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 41s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	29m 28s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	27m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 38s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	26m 26s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	24m 24s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 4s
Completed	CircuitProver	×32	moonli	23.00s	21m 18s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 43s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 24s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	21m 34s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 58s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 4s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 47s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	16m 19s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 21s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 36s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 41s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 44s
Completed	CircuitProver	×32	fermah.cp.g4	49.00s	3m 40s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 42s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	32m 25s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	1m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	31m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	11m 54s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	15m 21s
Completed	CircuitProver	×32	blackblocks	42.00s	18m 50s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	28m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 30s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 38s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	29m 38s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 14s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	24m 10s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	24m 7s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 15s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	18m 37s
Completed	CircuitProver	1	fermah.cp.g4	0μs	29m 28s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 15s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 31s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 44s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 17s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 59s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 23s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 35s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 5s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 35s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 6s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	21m 49s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 25s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 16s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	6m 57s
Completed	CircuitProver	×32	moonli	23.00s	21m 41s
Completed	CircuitProver	×32	p-ops	26.00s	25m 26s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 7s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 9s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 25s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 29s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	31m 40s
Completed	CircuitProver	×3	fermah.cp.g4	8.00s	2m 32s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	1m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 17s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 57s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	8m 45s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	7m 6s
Completed	CircuitProver	×32	fermah.cp.g4	18.00s	8m 57s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	9m 2s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 35s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	20m 18s
Completed	CircuitProver	×32	p-ops	24.00s	20m 9s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	20m 52s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	4m 49s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 19s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 8s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	24m 0s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	5m 25s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	30m 3s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 43s
Completed	CircuitProver	×32	rubynodes	25.00s	2m 53s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	4m 49s
Completed	CircuitProver	×2	fermah.cp.g4	8.00s	5m 27s
Completed	CircuitProver	×32	husonode	0μs	6m 12s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	17m 8s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	15m 57s
Completed	CircuitProver	×6	fermah.cp.g4	0μs	18m 37s
Completed	CircuitProver	×32	husonode	24.00s	14m 40s
Completed	CircuitProver	×32	p-ops	23.00s	6m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 42s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	8m 37s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 48s
Completed	CircuitProver	1	fermah.cp.g4	8.00s	9m 7s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	15m 10s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 19s
Completed	CircuitProver	1	fermah.cp.g4	7.00s	10m 33s
Completed	CircuitProver	×32	p2p	41.00s	26m 35s
Completed	CircuitProver	×32	fermah.cp.g4	26.00s	29m 42s
Completed	CircuitProver	×32	p2p	39.00s	8m 29s
Completed	CircuitProver	1	fermah.cp.g4	10.00s	29m 39s
Completed	CircuitProver	×32	rubynodes	24.00s	8m 35s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	5m 30s
Completed	CircuitProver	×32	p-ops	23.00s	12m 48s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	19m 54s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 30s
Completed	CircuitProver	×32	fermah.cp.g4	24.00s	21m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 59s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	21m 0s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	22m 24s
Completed	CircuitProver	×32	p-ops	36.00s	3m 12s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 8s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	15m 44s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	27m 3s
Completed	CircuitProver	×27	fermah.cp.g4	22.00s	28m 1s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	2m 20s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	20m 14s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	10.00s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	56.00s
Completed	CircuitProver	×32	p-ops	25.00s	14m 27s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	16m 25s
Completed	CircuitProver	×32	fermah.cp.g4	22.00s	19m 42s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	5m 50s
Completed	CircuitProver	×32	fermah.cp.g4	25.00s	6m 41s
Completed	CircuitProver	×32	blackblocks	43.00s	10m 21s
Completed	CircuitProver	×32	husonode	24.00s	15m 4s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	21m 44s
Completed	CircuitProver	×32	fermah.cp.g4	0μs	18m 37s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	21m 33s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 49s
Completed	CircuitProver	×32	fermah.cp.g4	21.00s	22m 21s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	22m 40s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 11s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	23m 52s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	17m 40s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	30m 11s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	30m 40s
Completed	CircuitProver	×32	fermah.cp.g4	0μs	18m 37s
Completed	CircuitProver	×32	rubynodes	23.00s	27.00s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	6m 13s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	23m 6s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	10m 53s
Completed	CircuitProver	×32	fermah.cp.g4	20.00s	19m 45s
Completed	CircuitProver	×32	fermah.cp.g4	23.00s	14m 32s
Completed	CircuitProver	×32	fermah.cp.g4	0μs	18m 37s
Completed	CircuitProver	×32	fermah.cp.g4	19.00s	18m 55s
Completed	WitnessGeneratorBasicCircuits	1	fermah-2	3m 45s	3m 26s