SQLite format 3@ . BBh77otableisabelle_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 <#$, ]/ Parity_Game:threads=2elapsed=108.879cpu=195.140gc=17.224factor=1.797zXZִF! vJ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybd9U` FX'먰>Pa:-1E辏n U{`)GEm#Nm@j)3AG+.{\% t, +/J~ZNܣtl,(+*D*NS jNibAPލہPMBI\RށyO %c=_F+N꘠CuGs $-N[r.tھϾ-mXIz^(#LqPM:i-ԏ(qqCĨ&$wz0i cY>4SSqϤr(kueUJeS1ov e,Ň7ui =E0!&l$ )slPOb;}/"C9P~!=h[PeAF囲be/twH#"y`+4bӦ>8l%ɕ77^iu-ሥEK= G 4 Y7ަtm6t=(m]_٥K;d=t|z[C/_&3)Z{m"F(@;G|pnu%' H+y8m;&LaJş3$}&0K0T@f~]SE>IDaiwm2eeB9m#3_rϫWI(!>i-blQs8|+$0]$Sw5TH徼P&fJPAD-I{q쌩*br ڃ@HHJIHoz8Jڣ&pSrcCEa(MHL{q|^zq9RP`8r8 MV`KEnY4&6vUy؏ 8']?aW z%皖nDw3t^b Pg5?feGi/\ODF;02;Gf'פUZޞ(/q^y|IX ݠ|Bҧ+EȻ;鑿Sdñ^0h'\~Ql{:+۩Ȍ/^΀ Pzmle9՞ԟnԄLvyQ!&F8?)flRtYlQpFDANQj]Rh8㤆ΟDLY ==r^bZ\LlO >VU%v9zG,xwZ_#Y!+$P # Parity_GamenxT͡D\<(-#כ!}G`s%1#i4_V? ) R.os&y6 o36:qe}]UIC["jЉ[DzKťz~b(.nkCB.)\[E>E]2a'##IdInD%~x?b(ud#gcW=9KlWcc85s.h%sc,=4t]nv>cwM{ޒKTMh;-8,*=}C*cRvz%`5 L:b~mKu/?ST2ݟhDEao9D vϋ8L*7@oZK/>mzDO>i\1y[Ը.h_$ +dX[~<@JPWi* a9|?{j+Vn)!a:f4Pf`[Z"3>NZSAx!S:L1VGvFn,C[N{{1šMMcWh=[']Fa_w Bhj7)ߑŨN= #LRL{`>k{z5SBϟKυ[$H wWo(\2%DTV@k?P,0 uP%S{ZC dT_gi!fNlnW۳AE!`ˠ˧0DW+H@׭ !-y\=K8roqWRg+ޖ}hO$?"L [<4BkQnL9 {K<\6, }3nX' ID^o|֞PDPQwAP,Gtb);av_uù fYrYOO&[LÖ:T\Get7pVYA"w-gYZ7zXZִF! O]ŗXiɟ1˦r pt#M&")ohEdu B;Xū!N(Xd{0j0BÖ[< <2='K!ehǹ.@e_< 44^/G%2$'** (y5>")ZM:iR)ǮKqmrxTd-UuL+,SrWvtaѕ?B+iJo Zb <3+]3PϘuѼǁy\Qcx[-jU\7%XdO9YՈݍPxsF{PdF 56%=]DLd~c EqA-ѳe#,!-, Ր1-GI>(y u"7vM[w$X8*JEå &]燾:nE x#Dq* L{1Vf /i^xDڭNB0!L휴6_*_aLW7|wtEȪƵw#b7O37I &zgb.2=쇺P0e~ƕ ʊ X}rJd~SǏi sjH ta[P\"▥T$ģgYZ7zXZִF! ]ŗXi%92F[i=v*Q,*}/5;+6S`mP?~ 4?Orxfx}YM>&ɚl׊d)"EH|L5Մ=<Mn{$ݱ{s颋*I7O`s?q,^'&܍U!d2z6zdO0;KdH"q2qqTc%d=V8 \I+0b !%1LkLެS{6DZOsZFIيI@.'{d7ץl*I&\}jj(P6 [ 5:&rD+MgCΐ4,4r0S2yr-$KvJ6h_˪ bUjw1$bઍۓD|~{}!ˎ66a!v' _ࢶQe4U 6w|w!,^ϱ(a񚂩^H1F?RIFn Rv 8|K߻3`&կmR?>aA:"cR&L @V]= EP(ô'*Mw:"`@ZF+LUjehڝh!ڿ9o\@nlCwԝWCͶ\MB9/E@f>!Ŗ>;|'Z>m!vEjjZľ"dI4" +)$vp9 54_A' ^LD_r; k8(Juy} }%o:X\f[.K㓀ã #MN4#YWקW)\Ru uBfѧ@ʴ@ZٷQKc3-`,,ćtHeey1b:)VTܳP*t G$g| ƩJe>`M|i OQ s 1ڳ7crwJ'G&㵱Rgq7eݲ90w#JY3&@ev* 93 5|nU{:j܅YH)y3g@f!WSZdnf"NtTN[ ^}pYS)uz=O-@hnx]?mzyҌ饘e^<4|ۮ+TA y@GWfڇrwjԒ8sD;#fC 0 g+n 𓂝r fm0KAhFtO%`S1bd7J] ʂz&MBΦ#_jbd~ ET#|.6' ˹{ k`ezm{oBt5h7jNVh@/ƭ@ ƈ)Ԫr !vfP5Z/ޘգ0yx Rm/GyX_L3Oͱ HT])%2DXH §eu{6@C3t6ɗ]iv֛CC(fЇRE*B vDűsS#!P|oʻY^upGQџѤ!e5B̦㮯Ao)9LlDNGtJzfzp!@[ܼ{\_xɟ}-`N0ə:Z}Fre#\d~Ky/&ImFcWG"ū.ɕP<5=Ņ 0n)ra=# M!`."RY|0>w̞R 6B3Z,ݲ_ذ& 5!+!c '\2(zK 6Wr㵷GJl[4ƩUC}H\*8SQFT 4-T yGU.Υ LqC?/pX44ߙ$lȵ]=sVD62sZTҭ&"'н *Πx bkl*H@"(Մgɰ2ŒʔvA_SSA-S|lRtxѮG|BD(3ŒY К2bZ_ԥZ ,jTlOQNv.k˵~@XS#-@`:RЧCذ<㫣EhgDϢuAxGB# ǫ*~>UV6ķ!h„T_)L0JVmbZE*]p6;eu ʦonň(6B#eY('> ]}\%b9Y1H %Sxn(%% h)x%;*X]b~P/!f6<) M{ZhO9AQ`2g"$aJdQzmQ_dE ӕ!:hp]ױpdXzёD ;_ɐʹduSo?;ؖ(_)~$VL;o&z4Zu&zQHnte[k弆hMu {tѹjo}r.]8PQio$Bݰ rh\s{k/t~ &66 ;.ת}*@A{'% Ucq(c恵+Aew} cb6u Z$6bU jyٰTqe7>v1~C0q.UK zMEGG(#d#2.e}B!y2?E/,sqa'HxK{9SPp@fݴ:hC3#bxv 63&εv6 b5)$]B `іCCI:oCB岍3}h4?̂{Lᚽ5 p@~L#rs'A%(I\LD<0@ #!q״%%,l3ӧ6vJi_Z l2`mY s읰k!>3U3AB^ll&!1Zg &z8񶼉J;I+Rd-gC*qwC.tǢ\8M<"Xs~EC!cdJ'\~mq7%N2Wd6'G&P`e*d;o0D2ScKdY*;(;-&y@Y>hI@vi8lv>p4JFJ٦0;0ez)T*)/Au_%r# U/^!)lVqUsz?&Nv I𙍿`:"֭I/y7ȦF/[u$[ )UbH,z%K;&-h`s) [gh E-<[-iCsD%ﴅ Mlw"fa=' W[ u!4 [l ; s?ؿ0}S&BPkҵPǂ>UBӂ5^4;|~IN(vXl4i9=C!HDk`kPЦ{ZXa~^S2m ڈ"D^ GDż,*7i3ma*SunRZNaHK"*+5s(H^b!,%l yEK*NDuΏ@DKkJyTc883e{?%A-X)fQXoIwbz.C3L~G%h>c rhBz/)LyR}"X~@m!>zXa4Ȣu\9l]F侀_W>},sG!&,B}o .v_^]kc1@.75Gn%ɵZ.ONx؍,-o5voTh8P(upV:B\y^:5y'TvPYb{=i%ׇfd'h4eOCfz'Сga ji^ @h ,nC" .kVp#bFsh )GjEeNL6lգ (_F,C,)Z~c])D\%ƂjH2UYmn`ɛD1SzJȑ=`PMY=%=0\O=@}L-vƭ`Oˌ  Wbc7,M8fAQ6e4_%c!XOekW;*Г1k#BmPgNPX`Y=;)-/1CmxyR4: qsQ&t&8co$ @?z߿`y-4i6 bCyfRc)NpHW_9˶R NE} o$ɶ*mJgY} !<58 CN#5r5ߌ=F#4Drݔ[ 'F;NYSo<в@+##mZfN(Ef* c66Qgl-7?wxaCж 3hPU';,+f9O4jQ: +F]8V^kȷIӚ- ?|mکXړX&f"S5ph[@'Gj4R[V!:G}~Ui˵,]p6 &e @'sop%ٴ8,]^v콓Bz #6\JN]=n2fVR\ء/Ю3kKYW-ɪvjXY"<!_f ^.~DVjqz6W pj6;g4S=H'Ҙ+WPd[϶Pcw&C0G*rR2#m~/]n.;⌃2GH#,K8xA?kxz %=26?"OuG rzzO5DY