simple_example_build_graph_2.json

Equality(
[
	Advice(
		1,
		8,
	),
],
),
Equality(
[
	Advice(
		0,
		3,
	),
	Advice(
		0,
		0,
	),
],
),
Expr(
[
	Advice(
		1,
		5,
	),
	Advice(
		0,
		6,
	),
	Advice(
		0,
		5,
	),
],
),
Expr(
[
	Advice(
		1,
		6,
	),
	Advice(
		0,
		7,
	),
	Advice(
		0,
		6,
	),
],
),
Expr(
[
	Advice(
		0,
		0,
	),
	Advice(
		0,
		1,
	),
	Advice(
		1,
		0,
	),
],
),
Equality(
[
	Advice(
		1,
		1,
	),
],
),
Expr(
[
	Advice(
		0,
		2,
	),
	Advice(
		1,
		2,
	),
	Advice(
		0,
		3,
	),
],
),
Equality(
[
	Advice(
		0,
		8,
	),
	Instance(
		0,
		0,
	),
],
),
Expr(
[
	Advice(
		1,
		1,
	),
	Advice(
		0,
		1,
	),
	Advice(
		0,
		2,
	),
],
),
Expr(
[
	Advice(
		1,
		6,
	),
	Advice(
		0,
		6,
	),
	Advice(
		0,
		7,
	),
],
),
Equality(
[
	Advice(
		0,
		2,
	),
	Advice(
		0,
		7,
	),
	Fixed(
		0,
		0,
	),
],
),
Equality(
[
	Advice(
		1,
		6,
	),
],
),
Expr(
[
	Advice(
		1,
		0,
	),
	Advice(
		0,
		1,
	),
	Advice(
		0,
		0,
	),
],
),
Expr(
[
	Advice(
		0,
		9,
	),
	Advice(
		0,
		8,
	),
	Advice(
		1,
		8,
	),
],
),
Equality(
[
	Advice(
		1,
		3,
	),
	Advice(
		0,
		1,
	),
],
),
Expr(
[
	Advice(
		0,
		3,
	),
	Advice(
		1,
		3,
	),
	Advice(
		0,
		4,
	),
],
),
Equality(
[
	Advice(
		0,
		1,
	),
	Advice(
		1,
		3,
	),
],
),
Expr(
[
	Advice(
		0,
		2,
	),
	Advice(
		1,
		1,
	),
	Advice(
		0,
		1,
	),
],
),
Equality(
[
	Advice(
		0,
		0,
	),
	Advice(
		0,
		3,
	),
],
),
Expr(
[
	Advice(
		0,
		3,
	),
	Advice(
		0,
		2,
	),
	Advice(
		1,
		2,
	),
],
),
Expr(
[
	Advice(
		1,
		7,
	),
	Advice(
		0,
		7,
	),
	Advice(
		0,
		8,
	),
],
),
Expr(
[
	Advice(
		0,
		8,
	),
	Advice(
		1,
		8,
	),
	Advice(
		0,
		9,
	),
],
),
Expr(
[
	Advice(
		1,
		4,
	),
	Advice(
		0,
		4,
	),
	Advice(
		0,
		5,
	),
],
),
Equality(
[
	Advice(
		1,
		2,
	),
],
),
Expr(
[
	Advice(
		1,
		2,
	),
	Advice(
		0,
		3,
	),
	Advice(
		0,
		2,
	),
],
),
Equality(
[
	Fixed(
		0,
		0,
	),
	Advice(
		0,
		2,
	),
	Advice(
		0,
		7,
	),
],
),
Equality(
[
	Advice(
		0,
		5,
	),
	Advice(
		0,
		4,
	),
	Advice(
		1,
		5,
	),
],
),
Equality(
[
	Advice(
		1,
		4,
	),
],
),
Instance(
0,
0,
),
Expr(
[
	Advice(
		0,
		7,
	),
	Advice(
		1,
		7,
	),
	Advice(
		0,
		8,
	),
],
),
Equality(
[
	Advice(
		1,
		5,
	),
	Advice(
		0,
		5,
	),
	Advice(
		0,
		4,
	),
],
),
Equality(
[
	Advice(
		1,
		0,
	),
],
),
Expr(
[
	Advice(
		0,
		8,
	),
	Advice(
		0,
		7,
	),
	Advice(
		1,
		7,
	),
],
),
Equality(
[
	Instance(
		0,
		0,
	),
	Advice(
		0,
		8,
	),
],
),
Equality(
[
	Advice(
		0,
		9,
	),
],
),
Equality(
[
	Advice(
		0,
		6,
	),
	Advice(
		1,
		7,
	),
],
),
Equality(
[
	Advice(
		1,
		7,
	),
	Advice(
		0,
		6,
	),
],
),
Expr(
[
	Advice(
		1,
		4,
	),
	Advice(
		0,
		5,
	),
	Advice(
		0,
		4,
	),
],
),
Equality(
[
	Advice(
		0,
		4,
	),
	Advice(
		1,
		5,
	),
	Advice(
		0,
		5,
	),
],
),
Equality(
[
	Advice(
		0,
		7,
	),
	Fixed(
		0,
		0,
	),
	Advice(
		0,
		2,
	),
],
),
Expr(
[
	Advice(
		0,
		6,
	),
	Advice(
		1,
		6,
	),
	Advice(
		0,
		7,
	),
],
),
Expr(
[
	Advice(
		0,
		5,
	),
	Advice(
		0,
		4,
	),
	Advice(
		1,
		4,
	),
],
),
}