Sha256: a68e03f7bd56271d30c986f9b023d5f3c679a9d225966804412309330ecf0918

Contents?: true

Size: 549 Bytes

Versions: 0

Compression:

Stored size: 549 Bytes

Contents

xTێ0P&v]UZEB<mzY(*C6줨s(R@<Ě3sΙY	P.3qN8^7g7C9y'Bז<]ע)uAHU13x
Yr^~@; tiHeCȹ(g]81g2)ECht.b
?q%:E7JG ,mn27JC_%PrzI2``Fv0U]$PG9	WD{	s;+wʜb7Q)v	0F`;W;jo~3t)O	#iu?̾wLio,a	{ث?P{kHyM+M'̶̸Xj!9ט2/K/]Br;I9.rTS:/[xLJ*vUΤP{
&H|{-PI<[<)`ob%Hz_.(?e8N@:	L6

Quick Spec version

solve-3.1.1