SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info YY#D4, ]/ Parity_Game:threads=2elapsed=116.502cpu=192.664gc=18.148factor=1.657zXZִF! }4 ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{дT V[75ag@=Eqo78c{\FA.u0'_1˰`k{%u'z )<=GZoH@[¡>k]sN$g|yv)O/hf5w2{GIc>ge)<`-) e}НDZ¥L}̓z"朑l/ku,;kv 13A2Ltqm[v>R: &gr$|)<1&ǵR-_P2 Cl$ X~]d[r %өYLPW[Y/qQ`mɒKͶ"LMc> cUf"UgQD堬cqT9Q|^*y_@ycSЅaߤ eY$+j[Pl\M '\8V/duQwC]-U+-6 (lt#(lp06`7C=&ɵޢ4;E_bעy^ϴ'851G?bz:PD8< ա p̆JF TB~nIWx MQ7PЇL@!?I[By(h-K΀WkR$5P6E j>[C?x/g _6Y+x|3;o<6<:ގ_?Pj8%;[ظ]FcZi9O\>Px_.mĎ˩{4blGc QƋT\"cق:eZW :֗{J+lQlUЈ&}5:er^ cGa0:sGY>Ɉ*N %ES5%u\֨N׉S*Ö$hG?ʳQ$u0\C~+ǰq'iSz@HG@I]nvCեŕ2nPSߔ$ W7+8b5;<%ޱ#h0-~JL7N2{{8 `RbWfIvW{ !YV`" og7f(ap%7y?ۛ'2:~{3J2ՐPluy0|*Fomv L+6[#kQ]ܓ̳z/0Hr%<߇ ;y )xtoeid$i?%ڤ cH^ &BzsNXq3K=7;*_?X8N  -N "A,o>w~a-X$iF|Dbk.WjES(dKE+, ғ6E_:iߋN)9r;hr #9t8aesQ{tˮBknֵJX$7$_Ϸ4V3nKMkHcч_JǺ^w$"AW@(hj!m h]lJ-uQ)Џ{簓&%v]{B-+^f53Pwq7gҤNLf.Z+{ ppID:7iNzeYP{\_!xX͊k08!_s (d>B '|1qN^q 'XYx4l%ȓCt_8cOG`*{Y7UMG@,D( ǞpNmJi ܞ$68:[VDWS\ez yH{1m?0cq։љwU ٪'#41cj2 ҩGM [n8I+_pLѯylxՙV\N77dˤ}fXfu,6IxЇ׮17N[v2Mw!+s j;]3=h>/F\n:y19ٶ ^rRwj, L݌NFҽ&wO´cB==2Q:H@ N/ڽjQ)(B́mf9n-f3LcǨe޼;alWrjn!X}|ǾGbf[9?fn6@_80*B= F2"noax+ ?'T_m4:grS[Їtk†.=LょeDA # Parity_Game  p;9GnnU4iEFycJoƒq^UG[<#)ނ34'1uF5U pC-j-qLJa)JZ<(A..-ڳ0lmB 9l~sM>V+Mcr#۩"з@D4 mCNc! C!T' 73_$^J9y\^ʑUm B%: r$ٔ7-p5r?C8$K=B"cؒxpNI/*5,MRwo 6n9+YGe) $k<ru23[ q\vUKzuHi*_w2E1Ją[v6`gYZ7zXZִF! ] ]ŗXi%;* 1i4ҝ cԙ8;a؎kFdl5?$-WSWU9h?[蕔S7]},MgC,֚V:U zOlkR[ 19NM>~A.&ym^>S@g&b(ƉUH}aBZ>0~Ljd'iX qS%C{*.cOx&zF]'c7p}D+lLկ2`ܚ^.yv['e@W~3lK\.(l +RG^.% GBkжA,#]vz[|*e+qTZA9%Yw62Zq8 f>5_o#Vo&ퟑ&^eW um2/ R'3l]h] #ke8:ҙ@`v~Am%0Qkc5p `gf1 €wG_i0&ițcSĚ<avCy]ߦnJ,m&ِBVkpW"7UAB.)$\ ;aQDI7RtTsv&pQ ǰLmj)iy| _'# 3TtH5QR=Qػcfn#|Q` ($?p 9i ԎxfzX x5Ӧ*S%]HWgײJEUuPQFFC5% :v,n%r /!j5>!>%#0fƓ 9*_Z;r5}y8_~ak`Ftp jKUi u()֬vmEw'F/>p' EЃej$ wG]=/៿0[h{]om< 6?tc0rDTx$+1i~N9~*u(?ɸ(tlঁD6vM\- VYrwHϯ<Ҏ&s0 E^2,OU@8`ٕa7o(|?2V1muįJ@2Fˤt{)GCeCA(b@SዩOJ(Z55V}DWZ2̖uɑ|pGqTm5tsɱ/Fd䉭sAcASҼKRi%,4>p~H7#A=cΞى7oIa#H61wFr 69Zc4 8+ߚ~LU }W ۴#f(Q5!e\";_7qA9<3ßX'|EtWNcyw9>;N9֌mqsG!9D ]ðэfvhͶI[K,h2)ISs[L@MX)9E5{p֦) 'Ȍ-Ŏr&*f))Dv%.ưZN a0 ɿ>Q*lB5ƕ|/4UF YVr^3ȄMY7cTc#p֦n1҇]Ge#~=H+QgNmptknEkZ\)cb"s7T 7ZEO4! pf䔠,},m i!6*Xx<0dy\fuiP6Pa%ʚF7atS|EVbV}&PVI"Ǜ_[O8%o(`2{Odq-Cd6+J>\z)19 1xT8;݁Z%*eXIq~j*3H MF>3.G9Éq2K=-+zw!"k̛hI?۸=?]~4mKԮL$8=[g7`uPjYfҫB~bL5Ƈ̽@LkAUΟ2ovJri8i}Ts1+V`GB 6ϐ *erqA^j3ُ<O)ulۧe\4c(k\HeSO!ϺkCY۱݃yWָVE8֙]1g"'XjjWTwphz]*'&y! 3nix?*ᒤ P E !l\쟚pBf9^u䯝dBtߐNS ʒux. ġj6nmg ݻY|Ө&Y{N s<gsJH8ڟ=̝eHNGڿ>"kQ)jl{/f Z) h ׯ;UoZƉҰʶ,B?k"ÍK;=e*;IdUJ£-XQxWq0 G l},j_E#:-;٫{K%6FpV-[yQ|/22*liF5IW 9XJ;4w}Иσ$ò'FPH٦dkY4jqH=U΍za>csLj24P% 0S4y!W*HO, gXsL#)Ut:=onO.n#Dn5?.=;T7AaGSNlcoS>0|h0lz4Qc q}[Cn[ER:'x/2ʏ^^E oޤHm;LBcqr11q5+}ipUp5wդfy"$rHQBc`*ucfψ{9*b 9iۤ@.tVQ%JMMM+-Y AgSvK%-@*pB ee+]7M"[J #櫖Q[!s ňe3nBU_^~Zg+ Uȓ[n68s}IgځrMyb^eGO휁]G'{xF1{o?*J -; _"&OʵR iY2乚_*2H&lA–>bAhvqlבVS;k G!g/[uS9REԧf5M9^=cl[`l.95PG9^[W·be0 J&ۺ^b*H5ׄnh8*K|p8TƕNk# ^j*IJ<01&Y)@Bܜ h5m>>6]TVtv8d5ϲ|\`7LE_cngt ;p<٩WT`RZ} D-dXEz5CzaŲ/cŲNyVȈ70c{3U|VP|P ֩Ƈc,lg7av4kZfӽs$m4ÅlO]̯:Ru9.=Aز_V8եkN03 aG@wcTM+6wٴK63̝f!awRl&8SЈQ= pPw0c 9D::mXVGg_cz);+g'm9\zkHD9>t`#* &00FOn;UJW&eLȤ6lnԩzVbҩ!B8H?&X>кel7qbՕH {2fU>Ig<?.?F&p[M$ 0a r&ѯs,{-8xZn吰&FE·c N%߈PyzH}1#&|fway}?b.$,&SQVQy2TFE qF4?&~PKIέ;NbP!1Ħ>QoP7oV?85`ZŬ&juj4~!&)ەWKy yPОx(Kꆓ u>Bu79X // )'`Cl]lqD=lxp8⩰23є0`&)ٿ \ y_j_ lL-t3Phv˴WgЧ2E^3Lh%|FQRRU,`I28j AkZIǴ{o9CoC=[̣U4uwBVXMqfpDl,7.%`T2VEùB)A*2x?;vSn~Py\1٘(K @}Go?nόHmkRyaU/--yh ?z[\&+s)S;E nGi\ռY\5xHDJԨf?tS($g_ЌҬYL6s@*?BQ3m\#̿ZA[DLh/l*yROJ