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   Z' \t ]%]Sepref_Prereq:threads=2elapsed=57.816cpu=69.116gc=3.832factor=1.207zXZִF! 8zg]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^[01 9{F-0x=3MDh7J~VMkVX(5Le:SOgJhX$ӎ}p if_:bX 'jS&~e+6.ׂ F v^ x׺)ʃwFҍ)VF].hm /ouifOr}Q+&3LYjUP%f+ 1xa>2 kPۨ¡Γq%joC/F6#E&Ftq'Wy8=4ƪyiTߝ{N:|LPp%8v'$JSNP?FZUkepUDjS צV2ϴG7 xcnR,٣-P)W 2K24i'?sBjS+&ُRG:iz0a9jb[9 &2UuoGST[^XhJ7nIVME[0=W:^tff"iglkg7_%>Ql~ MMK<" ੎bxb|r ,tEQQXq+ŗW컄_X\;dx7x؜{iaXmg̜ylwK,!`Sh wFhB>!FmLߩSo$4m%HA=UW8]8tO5wpҾyZo+>wla+*8{k ab]r|®zCZ>bGW('4;$,7V\G E:sY"N׻+A>Z|{N[,8 Sfԯ 'hrsƞ^5?Β0itRs7~Y{)l" H=r:`Pܳ;oV,E87uOi;~T/E.F^l טw=upH0.Ug7K/x&P5ZoAT$ ЊA_eHH_'EA22>o?M4}bn(mp 㙖 8rǾu50!%Z`% ' Sepref_Prereqlui QӒ a pLz7)gYZ7zXZִF! t]ŗXiɟ1˦r~KunύNN{,u}#^%5j~asE/RC}' L@.e= +"}(#@eP $pqC v/;dSS:;#/ 'Go.'erP\>'A7 '@]jSȃVbτTY%WΑQ\Op9s{HI*YIL)ޕoY"A|ede;LZRdִzDF יSuR`>gd=w>iokZ`56$p8X͘6fC^ԫBG`q4r#քf Ǜet(d k0?Q(G.q(X^FΝgYZ7zXZִF!  ]ŗXi%9*]G"hX9q= [񱒉e?2iT6H>3h [djZ}2g3g6(͍ wII(HԊ=GѤ<4۶vaD͇\AF!$X`Hه.:rh;,)<' TˣXH1U/ Oo=X78 :/ڱ|3{%o)ڢz>pQA\B^ ֕5Ѯ5?MDfWb{e\0xkc4A1Te¹f(#>ջZ9wGC0A6 ~G']*Y 3'ZKր$UC-+3^'vԊehJ:k2or ZbpbOoNJص%K5yA߿y&^Q~,o!M(}%UdZkc3``!:쾞HK^< uC1.ÄLG̍d O8bhWqnEʲԷ7{ZX.ȼ0/#`,6Vؒ-eHwz|:.gTD@FAM6 e^UV(4SB 7#p !(DvNX]>r X^_9> 倽/ 3 )J~ʓhJ#gZ͔wzx"hY}ȥim H; I+{)ǯ8}6s:4"\seLBOwĩ$Ŕ?&e^#:z(gh d~~8$htc _G9$QJn+ϬY1?sj BD0xM9M/|(쮠ptBPB4<݀|o|4Pvqq`]JBX( 8V˱3q R՟٭X|cRӍ\#Vφʂ#Ű SiM9yz̑v9 $,3dI K([ n@mZFTW$WQ3K|KEVA%Gy|cV!'%iS|)AMY1!VT"]~4'&}M'O *F鬢F5sa%/>O2!@N[:;GaCKX Q#Ramk&1&JW9'j_XF+V,l"W?7MqµeV;MP8XC(d35j5)cd>d3T;]Ve[6-4T #XƎ]‘:H{+'V'zJjtD;V{$ثBOY:*l ^Hp<["dKcYΙ 8~ 8ultZC \++^w^e_O6;Ep>tL$-`URQec=M<ÃRmȚǪMMJnCG O*sXYJT=6|S@MpjU{G{&b]Gĉy' t?(4\ ߍx֝ϫ?RÅK'.^l*R-/5Wg*@Y`oC+zpWgvvZi%:tDj(̷l!qd8l"w0 wp;ȵѧ¼g~J^ PiWF `0rfcrv?؅D?-)KtF8@0v3gLZ&‼q ӷԻjfܳ %m6[PlFyVDZ 2V4x)'zY[3}omu?W_=mMF%[/:ab329ڂvNNߚKW.Yp*sx =%Z11FO$ ӇFQU1n s;0wl{O :4=1M5gYZ9d0e737e24b3f589d30b8f682dc67d1fef94064d325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 a0228b29f8b6e8701dd9bbfdb51f1826e98b35cd 304edd6d559dee773fdcac95a8524d19d6b01abb c78d45dc74543de2e0aa9c37a3330349c1928424a59d72c2775a324a20b0ef316fd6132bb5a19900