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  #|| ]/ Parity_Game:threads=2elapsed=114.216cpu=202.716gc=17.592factor=1.777zXZִF! x ]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $s VѻJce< |dzjf$鯂d$VC`!bry5dUawy-f:3m'1uCXPZd9: c |Fm XCbh.UACg8 6 `tw M861+NESo5m e?I?J ,rjv= 8K":9~ X*j bLEQ?M92|ȩq,vv u57Ր8+бa.ŇlȆY"HԙN{y{u@=d ܨIuln(V \ζ3욨P' UUe z\?{KhT ]'G$@pFѥS絃\:(J4ГƇ8 x3o+Jlm%N~c sxNG |bxU #dy񩁯D.Zp栂\ߌU|: PAҁkMLU.-}C4Spr[Rfw:|oY[7(*`<(̌.$"+ձIZeh>dm;wkEWG 2MkBA88΀4GuH>$Ʉrj{});v#Z hxD}B[`0gS tp8[T07|#5wJ\k씱GZ`I1m4S\֮j48y5TwQsSW{Sj{Uhb>]aZ&7 W0ƌ/ғ qB(uCuOro8z'{_,!48*{ٍtK@O\D;kÀ*o6D2SsQG5JQ_X>:}$@m<%f<>1bD2_p-?ͻj/,g{&!l.PJJ ɗh@Kzz c L1% AV'MmCnBI1R|=tR{L7.<@WQÊafLxjSУd`vm([ ^?YNRLzKjJ00!ɧ$.-vV1]x׮ B_9I|QbmK[$*MDOrB\r'F{UލݽEKr?)H1440JUhO;,#As7±tm-%\4uU\>Z1Ub8\!eQKK xƩfHG>i I#[R$\u d;-bW35Q 4:ѺL_ gg#n`2JDϋwP  ?D9elj RP7gu~nPoXd%x[ |ݨF[$Yrs|$&hr3+8[MD  @ilKhOTHIOD\!)"-B-PbL}&4)S!eq Q[n"ͣ<# H0!K+)M|?>.uS۴;J3kQ- qLdgYZ7zXZִF! $H5]ŗXi%;BKH硕9M:^gMaIJ֠Q\yUit52RboH Ҍ&鵌noL3k^iƆhx,I@83 iD-*l,C, EֆN4wqև.z(Hn U7&$8|RW?$䋏uOYE߿};N>>FoK2„˽Zql-ui'ZeN$EėJKæhBD.OOx{Ê3Km3lӑŦ-NW7fyQ/IWW2GnR$}+m`:ԷJSQ{K*v-2l.c݉F(~d7lwvYow'&"z} V _z/J&G0 ]tS|U#$41>)XOxs-Droyӻe TP]0E @N}$%T%~cs2ŸR 5K.vSg0 VZ܋ Tvnht񙭯{(I %kz$hJEO,Du&U8DW5^tMOHՐfY$-ҩVsId9<;Nh$`Mu-c1z0xfUdfho [0/z؍bt x茅8c  ֬ET'k{l8AIN?{l+]YV5_~BNK?ڴunF}w,A+LaIO*vJPHhKj^sh>dYlsN͆_)+ gY _N Z^dJ|#H)!WQ҄%v\=st͐0B-rkX!ՓNfϳT{6FDbȖ4y&F<lI'vP[v492,|GڵRvAS{;174 AR$GEeCVx7/h4ʥ`&aҒYA!KԠokJu-v+[h9R" }KGڥvԒJ20i4*x"'o ME8& O;HX=W\E}8h9vJɘUybqTBV߭:z@b[VK|MԦvL 0^( ]k@0Fn{Nzrx Qѡ@Ȫ(rX18. Lm FZLd+צ)-;83bZTa @9=t|5 rc_aO~iz $q,6 ~P\Lgh -=#g4#pՅ.=kgLi@zIj̶g\ղ'b.dktپ X2 JϿ="0K1tP:$,\:7= \t{>&@89$'z$i^/lhZ'`yuÉk^0n 1루EK#pG8D34L U inSV#ceJoL<_]t6}^_2ͶK`&VUÑ&[Y.*k\rh>={haw4j7R3葂JUtW( {pnn ѲDXUA z#>ކHR{Qn$BbߗOji5G~,?& ! SUw/qMTٸpVϷ,A9L CAiXU2U &8]FO"KMڿ{b"Ѝ,2[m+`AhxV!u'͢)D3au6n̲a@*HpdΖK1mDALǫ\[ۥ8Rٝ)O} ț>~6Gpﳭ[CsL{|*EFmڋC`ݛ3+^^y&T Nlqܘ.i &uVyIe>8\ aIJX0ZL(4K USi)0^uZ^#&XhOώH!%CI{PI@Rc F(U2c{fg6bokݬc{7ISQr'5+Le#^JЬJ~=*PJH{%7`K-YE`K :qJ[6Q7K)[ԞMա'Gs;%+GHs<ܾ( Q߹Ieu ILhGb1hqfcDFJ@ LWL"6gQ١?/&@40/ W`!bި{> HFpku6<̹|Vh6ߌ{m pOƨv/SPՆ?ӡw*9&"51u˓vV'+stP4lN7M\^InC[od_N_*VU'z..5I93&M !2,9 @IbNfPҟOߞmZs6 _׋\^[3J~(c-~!=5{Xư5g@_pt!fXlVnAP.BW+[_QDkkPc #ۦ^bi'v]d"lGTLJv{,%=gVwyjRջ18*)/mgDḽ#(= <1+ԖhR>q&7EmO]+ܤ^_꺈阓. Sf8yq-a 2O;`<=}m c%>9IA.R ՓfeH rq$Z2?oߚQ&ʹdy7}cc2G[J%B% Ɂ`rg*>> Њ?J\CQx֘'lD]l'RM;=69m@$,ë=\Rc-똸I$y[^^na$^bŴ) 4_{u}0L96uPfG{FjJIӳ@VL3[VnN(:|4jwx#PB Ju͉* nr:MŒ@Qul,7W5o~߫(ɯ!`ؓ 0؈AJwUjjRLѢYڧr*lrz_~yZ賑ECF[4~CÑTʿUK%bDž%c5k;v/Z[NdzqpLZj<ĸ*n37 k ͼu?>VCCuOB>W6EdKjyЛD41V4HO8zIcH$W 8`N6K}OK)}_JZhLFvN0_e3HLVKH ,]YPXzWZTC˧v GMz!%m0Oi5lut[ʑ\gX7Rcc[pFWDe*EDȖErȔ,|{,SÅH!l7\6lv *\#Ƣ{3Hpz0 ѧ(¥w7 `lE~|׷+meT(i;Hg;*S-;6m6FM ((}Rl ,В<p%rw@َLEo(+Wtώ0RV-ԥ+u^iEB)`W19/ǫugٰ+ö_jNɷlMNWAg =g5" Sd_i!{ Y[M(U6۹T6eQꈋ GKAnbU }H1';p+&?gwJ@B6~P ٖ,6mfTs uc1#$/:a] 'NCR漇xB(`ڌr'CD[XTNOdaam-!V^ P^je3$UDV=SYBv;EFgܲG ?D!uMR삅:v42x7]{ #V+d>KVVx`h7e\ \dU24$]a{ ] 3e*wy|PgaCkxhW/`X'Fb H/лuk1kr7ѯK&?0qF3=DEg_F":kĕ9 vi66ϩnpY*MB=Q;0ERIbôO>%b]R'蒷񔡤!c[;w3Lf5rX6`xwEvFS ,`8<$C6S46~HMF@mLQ J2Bi,CݬBWVL莴N ` r૽80ӛo@27./$ً{b܋TTUאBSLPs. LMq7x A WK{cy7ػ!ӔQJ_^W(>HӍF62b~b?X*oHYWyfqT GIwu\k @MS`v, `zQGp"O! LܗTN)2nGFvk 1[6YKF8H)0dDxѕ` [ ;6L ap P!W\'и0>&jmoj ds.W'DrŌVJ)_ [i%t M^{eLc\d~\ InB%DcHv5d&7\.El7%½hzx "I5+S& [n)6C2IΝ|IGt !,orM c,y60#@*Jxm+~0{SƓkM;Z 71tfF@h54 7]6=;J>Q5PI 0h[ib.5 aYs 4q1gyh>i-a- '8 YrBaU*-%\֍EE2wJiJ[u7%&RAު29;V %w|;Y:r¯ClWn1}JjTqgKB%Mu1HCOSIU'̉)ږ `޼Gh=Źcx2܁N'QR)8@* Hޘ[DTndEe|7/aGcejmk,`aFdI[?SУdHJ#wJɁ0I tп)v! [$WiN!{6 vhgYZ45bbda32a5b32789201ada8c828cf65279e8de29a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39