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 527 tasks · 14,666 subjobs

Created

May 21, 2026, 3:17 PM UTC

Completed

May 21, 2026, 3:43 PM UTC

Duration

26m 11s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 019e4b1c…da1c

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,214
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_71214_0.cbor.zst
Protocol version: 0.29.4

Completed

525

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