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 623 tasks · 17,250 subjobs

Created

Sep 21, 2026, 5:17 AM UTC

Completed

Sep 21, 2026, 5:38 AM UTC

Duration

21m 14s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 01a0c265…fbe3

Protocol version

0.30.1

chain_id 0

Inputs

Workflow user input

Decoded from the request payload — what the WASM consumed.

L1 batch number: 92,103
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_92103_0.cbor.zst
Protocol version: 0.30.1

Completed

539

In progress

Pending

Failed

Composition

Tasks in this execution

Every task delegated as part of this workflow.

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