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 ==4#dt ]/ Parity_Game:threads=2elapsed=103.270cpu=186.260gc=13.124factor=1.807zXZִF! v ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjSc(ZhB(gӵ4b<7Bnߍa? >#{Fͩ8OHY-5ןuK@؅hk#* 2َ&)okdP4'bZ}rGCMc%M5Geb+H2ا"u2C\b䭊\צՏ3|ui3/mmOߪ `Y %q 15 F'kua E>ޑV#j I]5xA΃C gmE4? a|ucL/:ؒމm)uQ&_ UG|GP&i !)JyssYQ`2KMƷ?lڗE[7A\^.mcM"`]^2<'"8Nh TxD&\w $ oג/Xaw-07ۡ}k V4T@#a*?!kw@#V~&nS2(Cmvvp:k6 m,Ur~5YqipP:nM"aU6i%X'̴Tw\Q3EƋTnYv'OGkQUR**hvLtM\PyW5}3d(lP~A BēP*$$'^]ɘrZѱ2amܟSffOb|, Zul0 xϓ!_[ЙR[(}/z9P{z7 "MYiKL6:Yێw6F&L?\Vwt 4azӃy @䡋C`6CDn:C#Րfa%?JrP23"PWχ7Ɲ5塾-)@қ+¬s,OY?fBrc.U;w[-EFjq[# }}'IZkcn ]e8bw@{FTd!NyVPa$uĞ'%ɴE0x=n?KQ#ScQ<<W%ӛEw╨9htuu:mrBO1i{T9tu^- 0Ώ>ř&1#2vrok"LlO{nhsHju :uVMuȤsTAO -[9X.pXݻf8цeH)}?N9r6ou3MTyW*_->VSn;(wkD s4{h2 unר 'Jw\jyډ#W]!">7;3oV 'W@yGw0iyt MH[y-zv9Pxb[Á?߀F\A4vRf+'ΑM~2AW^gb3̅ :usxr6z`U,JQcT'?=kU-]2k  :4u1A]E|EyA|A4Pq0gǫ? CMx5x;c|db@_|`e@"3Y mVr s?z # Parity_Game"]3$xz{ĪXa800 h3j>kOck#J%-K]\RO ;3lc9C/~/cR( ']8:CÇpiDAy [%zWɟٹzwm]U/q$3OYGɑ)օS +\wDq}Y^&/'r 3+&+ͨ<+[o(:ORϥ*X:C) U:=ڂ+@ju-"Pd"F35{pY6jYF+^iRtmv0Bk3SleQ Ob! Gݮ4?*XAy|x&ۧPͫ3]Vg7.]+FP(_JO2ߎ*pyqȾisp]7%[:\\s^9G;ab۫GLL=]4XpdyoXv"E F Gsx3ҙ>Ýk-?R$B/hDV.pcs}?1|Ѱ-!.}{&5Kv2' ,3F<+sn{2rK`5Ff"h9 {NMmR"BMB< /aVUKV0 x(010X0-qBD$9އekSf@ VH-uNMI:hw!9:@gzĜKz3T1D# T%2zyՏU`aiDX+Qrp'@%'S.!#<ע9E! :q>eֿ r 8`;~]xܖ~EQI`PCE{&ȂG0=/cN0^$hIg;TAcfn( %/( .7t'@F$PFuSTgYZ7zXZִF! ;]ŗXiɟ1˦r pt#M&")ohEdu(.ʛN2 ^{?']~ixSYT!ݱMb#굩Nrw97:O蚖g^8IC]U )p ЍfQ]h]x,2-H%Zߍqrʳœ`dtxYހyMa϶Sy,r3psXKDj_ތ%r@yԫ-n8:s5UH=L$tIڧBv.oGlbFE`)JhA}-?D(;{}n8v d|h$?ZrڼcPv~ 溧|Hkefmy~UY# .I iOGЀ%˜ꂧC[zEQ>1ʈ9 XI>m U.ٕdmښQ*?1_ X؈i Ⱥp|+kML_Wً?$sA~,*zkUtZF +\uJc@y}y2?S+Ubk UfA@wdNr ~;$9E`;sLJ{ 檯YNblS?.DDSI&a..Fۺz;uShgYZ7zXZִF! ]ŗXi%921CPJ'3TҽqkHS9ti! 1Bh l ] [hؤ1~~<+Bӷ2TX+{wɔmr`X1l҆# jyDTV&S\sUKG)3XiӜތÑ }j駙$jiV"#-6%VRdKE竖z]Ryot/&;kE7y#L ;=OHԕuSA&??xa&7~?U1uXɍ>F",8db:bb"iQq~2!ѝ֯i=& j,ʲ{p)(Sjݧl䌕ch !)E3% [d ):K1˜/A$ոH$o> š8,5I(I: 8ٽ̨uջ{Lʛ#.hON I%hRmJQ'lc`RNȻ6立f8+S &Hti9⌙ɺ$d-4ZPޙԗO݈C0a3.f(4L5aNbus6cEN{M9RhGnq]s6{p]15NQ5œ \XMJd%y''/f@/j\ ^xy2 |.Zܩ=E&! N|Vt~`A[d` +VR} ױe=D NhlON4g5V~&Bȏw0 @Aq9C8]|ZhȸVTJm+uqiP+&߯s4р9G4L0FQΘup*,RJ 1*OW0g -k_è]$JM#XC 딤'4!7~bNj x(pw1"0^ښF@V~m[e)۫\ĩLa?W -CS{=0o^҃ntt[U~>uE蘐ɎD)O/'FrYxa :KHy֐q$vlg,4D8τl>Y9>!pG& 9ySCefr R77= I&W7>_ւZV4T8k2d`i|JgpcK c_mtq)S!u3%["Ygddt[6AzWI\^փŷs(ưҺj[CHp@;v鈽)cb%z=@9)"%ҍ؀7w0|DIֶ.Vͨ4-Mn"9t:=`gkↆY,Mr3&ũb ݭ(l /$&LL^{Sezm R"FHcwF2{p|Geu/إc8cצ3 tuqUP=Nߛ ށfs0s㩅B Y4!1 \C{]l4=0&WB~s{τwв:Q jq4ޢr&ʁ!TLEPH~+=V@ܽrԉ1_7E0*B,HR&]nD~ô [Mx {#ˋyfzK$4\Ei]DKB79R~U_~u%uJzNaSG!Y^52 C8)B#.2U\ =cRNeJQ‚|Prgj'l]G"1tH [(;.E79"V;^7P'[^MrUSncz \svi4#l=D+b2iڧ *n'b(I2ny8I?1‚kf[C\>ny/}MeSHQ-;v?c%ߌM"C(azc•/ƧB@ý @)(`gaz] *A׫.O9"{Մ RvV_ U|= )޾N /[w# qm?=[TRLu} mDD?& bx4&0ֿ1}k͠Sa[8(h#8um %3H "Wt(t$LY S1gߐH&+lOyXܐMd1J9 f ϸ.٠OQ^A,Αe~B.-5Bp# <:~rgH R3D2YglLb{5~v8R7pq)D8FĹb#^q> v5_"; q:Z;m6/C3.+My^E›7qЙ.H -̧K)*xs\" \Mj⽍gq~ԀmP %88ti7[>.=5L1~ !#x[s@ODT*(N 3݊I?C3z&Q-zc{y?rFQ_7D,sARAw wVw3ѥu4?&bwݐL;D?ኈe:Ϝ52齁"4kȼ .ce\85Y,'ŕfx*u _37ܶ1x3$ OR=է΢zn^1ɔ'J?ZapHXy9=ho YmVNu3*{:{tE5+@"qs7vnDeoU{ ӻmo8Dr;kCW1;Uqm-ca6$`bfnQԥer/ՒVa]Žy1oPFWS$C`]9yHD,_:3i. yY\d; 4‘Nض W# ~UPԙM͞K|E[6 9J- = 'qBƻ` YϽ.)o+Pbm䘩zRC7)N:'K;>5%Jg