SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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=104.774cpu=190.948gc=9.808factor=1.827zXZִF! ^ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&(´v76<{y D施l` $Pڰּ"+AK"z +s6 ͛2i"cvTIUL֬Y31Zz7Esv/GRrJ1V#]s tӵueSd";< U׀nZV6,v9‹=0YZϝ鰈n- +BT̄*{e(c׽ j1Bө蜷K"EsȧERQ@1N I # Parity_Gamej:܍ug+J =f, 4AVWA-j聵.*fdHrѶEp s:qW wjZgtU فAZo_^mM@[I!Jl[wA <j#q턵` Ədzߛێ~b~Ŕۨ5J߯=R|d"ki߳x'm mh4V)ϩMxr z_ fOV/ct?g!r6* à QFn_ӅNRЗ-O4m~w\:~ }Zvey>n\+i-$OC'F1 aKM;|h{1K(۴&!Nf&az ϼOjP5lO]*ݷ;кD3I+ցv/e$-QkŢy,ɔy?)TYdz*HԵb6W' /;J&7]&!Ln]eyr-dG ' K߯./#*-o)E[o)rIZޓ 3zƧ'#.p5'{; @#zR*hqK)#ߨ`c+'ܺ}mV꺒/Ɍqn3a\=(h3Hxofdt)G: ۹ĉ#X.[E-,3~-wCM/w!gcK+VQn@Je6<'PqSkK/<`֬Fϭ]Ji ]WN{H w[BJZ+ʅ8!1)@JzJbܩňF:jA}RDfh_,\)h)l"ȸ)U1w߁﯃ĠJMT%C qPndĵ&wpRwk|}7-fUG=`3PHj)  YGP, ן%R1R=īi\PV"k$"y،?ADWy*ȂݼmxIf=<sUt{KmG3i&? ϋ(խ@wLPQVn+D2D;!G;-sY.X> |:QtSk4iNo^C ^h1bjllzc#/}K x%4`['/ڳ,H8y<;Tݽ;Ej&#Xn Ht8~4T8&\ކql]Aݿе@?EPK8rJK9g:]Q3!-W9D^Wz0z౷Gq/ƛ ɅDк+Q."ZSC6GbEKJmljXU鼦+ԀsݥiVfU.r޻mC=YpQ8w./ -# Van$ܴx4Wv9VEt߂~4}@@-X@ 'S^gYZ7zXZִF! "]ŗXi%6Ar%#P6*[4E1]p=e};ҧ-Aj9k 6tyĂ0Tv094=˜WTSpukknđ\,14EC rwJF ,NQʖlט~[#.]m}83g<ddQ0;x`[EN2Α|] n ӈ03zh_qˎs,&U},vrJR[FG Y!\,ź<3nso_PyAݙɞnaDo:d֫(c(%˜ghu^Muf"-߲\ =ts;C8>\Bal"ͧ*;Ō:skT!Lii^젏X)FL QL7G $0P̯DŽ:&9:Iֳ=^rj24) \0ojGaV!!*@JFFҕ'2QACSN^Yk?LQLʬ6X ,)>wC!Q9ve"9(H$ FUP3ӌ Me٧e[ӓ20o ж]}@]]s{Jf4fRRKNg@ع"[rU7[u=9SwHt4Hԫ O%L.'Ff4- co3S jQT`Sjra/C"nͼFE~.L"Blll4~ݬa0m\55R-r6͌L'ڧiȓ->NJ^iUV35 #Gkx_1PgA?_'Wj$gpɀEs)G2)L.HBb-⩔g \EK ;/FU8J,BɳVϳ/ %!^h"R.,\zjSz?-5&':P0gKb t"q)8 h~i(/aQ`ȁZ߬لmѰ= >f>ş,B>(&ԻPL'~CePrU~t7ٗh 1me1iy 1z"L2>MPI};@`DޔeKMMć%x5W1JgemQ9fAtߟc"/O t2EΥ#yIwW^U$Oq2U]J_yqUtQ 7ہjp /u$U.=t_WYirR#ǯ۲~lӊ L5;5tfߓNvv8{d8A,k48KӎG'^q.|.iljF$#w:rEz@$:׃!<8/L)Ri|Nw+/tSg݊WI{rOLKKH:NP_ÇI, Eׇ]h!'X;nJh2#U r% mjW4'#D),gq8g7B/@vv^?aG!(H!BNF,g76$ֹt).jrVx ;` I^mv)Ҥ[M+%$2OAVfyVyF<ɏHhegvt/ƓV\4Zx3 GB89D4st|cᎺ/fx& E _hVp0GT4擹e$.G)jUxy$fe=i dr77Ov[Ŷ-H(CAӜ^HJƑL/X)»/.[CRBm 0:MBq ;]bFF^OGxx6tt:gyŢEy$8gMq^>4ia+o'uǡx,S0UI6),gzcS6}vg p%c=?%_MPʒ}s! xCr }аi?.q>!ɓҕ 6D9b=@Z_7= $KߞJs@.[Gm_doM2kὩ3ǏkGr|/Ŵ̕ Pt B|V|&j b$b6O_ cf<Mk |~LZU{Qcm[e;$ZfRO `ƶ 62ب\bN!9H ƽn;Gx9*PQ͔%&+SVষuElHm9+5l-d]-sHm‰4kg$P 9u[ń0ŪØ)-۠Ưq!y{X*6jXl*<^ #C_*l}Rk%q)3!c=~%EKSEb|f7Uoj/F ck+z;H/x>@3O;! rh6c k~އVƩxeY{A@+d%y٪B#p-5[}aYXT=adM LlmLSF9>&[^JԨ<%!ia:Q H}A4IpBS={t|\}rt;¿uq@>!6XN$>} <vn&j9AqmE $șcl{" 1jOէ2?۬B8RGu" P Ke9PKIEP:”KOlF~a#ۆnʻҎ4ڄ+HUНlO^M Cmr 1>1Uß %κh_ ZHe:txYQ[h>#ֿ%Nq2tP;8%p}fKo{INϴ- B tJ1Ќ fQp2rE ] X|Tv~Q3[K3eu, ׸f^o1DʎB"5(8-:u>go2!HY8/yVʇ W)ɍ.5~0;un'J %oB :7RU4TAš-޲ɘipŃ!jl]bē\\.>1ңlxTAѫ_f1~eu) l%9}^5آp4;{/K zm<`k.?io,d{`ASBʉKmDu"ոwav6Aw,OpTWJ:m:q7B?|٤ ^өyb ]*Q(kӖoJi&W'jSYү!<. xT̛4ܪHt]WdWiB]ް|+Nǃk?pF̡k>.ŝ0ٟ 7+fl67h[|C]%6x&"B‘ޞvP/̠b\ l"JfD!J"qW9b)W_p(ރSD%-8meCo Puؒ8%% h|ٱ^9J(9Δ|OVi'Vg;'Em$j*{5Qt V#Zѵ9gk7Gԁ<Kh8nݿR܀ |#IOڮ, &23ˊQEV=.##;̮"Ю8(0MgYZ1ae04d8bc03686e5dd74519e55e243e946f26ef4e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e