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 XTD ]/ AWN:threads=2elapsed=100.765cpu=181.716gc=11.208factor=1.807zXZִF! :]ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` ALH' M y р}r8l-{o+t˝Ѳ)n76z)VS)vCuvg;]l 3?`m1@U/Xb{EB>5jd!k(>0t{ h|C+tVtEzʅG3f_eJUG`_JשSYs0;o4(=QHOHCⷊZ##A)Rmb)*e2z&wgN3R욇s}zΉ6:a~K[k Le=ؠ{2iM;}8}I~P=dYFm[$巗Iƣ8V@i;!jGߛPrZ*;Ja*#XؒeSqu V`+<3Fk'w=#E&K#6.>Ne"!݄ѷ;2֞~ G CݰE[, teM|@0kX-20aH@ط*vJQd1^ʛMe|Ul 8Cğ@ȩ~h"Xty,MɺhJ) u[n1U#?>" w1cF2) Ǹn>4~=xN}%B㙞Tz9s  tX$HID _A&y "ǚ033[ֺkrM*:q 7:㮕B#&3JG4Gj0?R#?lT-C1r,d*{KڎR\ FxA4{b#n&9g=TB3fxG܉m- ?I2U&io0xP|(ߟ+XH5g& +TG"J4&g:sW AGc%]½*ag y|+([K䊐_5NG ^jhط\P!WBwy_¼!ވ.s_#r5R D1q 4H"É`bQZ*.mo'NȒDpKP(± 7x;]d֗Aԡ!SqQlVؘ+R%M53njַˎ 2Utm=ǫa#2 tsgYZ7zXZִF! ]ŗXiɟzֳn]:ckvx~XsnL[Sr"[`KL(uBk7m;eA5!(&$G7gaKW)C>/|;gI V8}ڃ%SK96H4) vZ㐁Cd>̫nsXK+v*8,qR=8+dVYݶXe*|]!*xU5PmidG>eqL)~ՍI䖺׈l̢*Ee8r*u{P(^@%a_ߍh,g>3}>;̑u1ΌuNyf IV\V4rh}/Zt׋||47 Ҧ#,%(ʷ*:eiss3ie.pѕ򗎚YO8~d^!UvBS[ߣ&zֱ|O^ZB'RG0=^0J ͞PZ*J =*{h^nJe+8kroǥN *ݿ@u7ۜ px^#Dr/m6}e X$ I!qFew <{KƄBFR$\-_4lGW 2?VsIbjA'l Ȉα>5H}4I=?0cN'h_'.&7s+ȉ+H'}=VQfAỌd #Ş BKFPgtsU3NQZ0ŁE̳\]/);jX {5B_U~a:5fbhy ,ř 9({OU$=ilR 3#RO=_~L*s5+whoĠӞgh.DAнv BUORVC G|~̆OyM=4v&MsCuA;)l  AWNYxZ9.؞VY!~:(OUCqwBZu" x _sؼ> S뵴lE{4 h^3Ł[+^^2oĊ.>%8d`4~xǸC oD7 y}Mr;D[fjg$ٌQ@ c5ݓ .L䕼 a1J#N8Y?/=+fD5HnxaMR9(#=Oc_Pct,^Hd3#W[[V%E~P0-Z=~EGWTnn.]oOLTՙJm|u.;j )C S t'/n\^R_;o-fތ{3IS%V>< 2yHc}TCϰC>f8NVyÈ~#po&*_bp2t5V; )ܱt1Z|܌RyQ W=s^EP`mBKW6}rH ,T;Cv^O͵)߻`aFn<AGE]|pSbc? 3uaSo  ''աCr) +g3#wIFuMIQ_7LѰRJ -&TK 11X]Ń^Ztu@Pƥ/=+$^r9 |$q]C6Wq"g.LF 45xxk%@UGW(roHt˳u&PY0:hɞ:}ЗE[}p{\iZ&q|O]+F E/W%xԩ4%؞RA ]$¯+X&pIGM',v~2 BIg<6%q]AT;Jl R#|HtD ^y в4TW "J,DF``6l; `^tͷ<$lL)dH [XX.xIkMϦ, z\z;T2%'#}b{}' S*!*Ԇp c034&0;,Lus&$"s) z院ŗ7bfWn멍g*1WW1TQ9ML34#7'}+- O,|#O5Wbs;@eDtybTdPd`smŤ`Gz/E%U\٠(Hk=[prRPSX 򋬆שFY)Þ JJ﹄T'a%O}g,h<~Rb\᯿˔MBw✷ BwKr磋jX)pgV]f)Mջ֣_P<.1 x_?"j@2{X"P.Ő8xs/e3C%cu[_!'3"G,bgdKQ|%LP֋ 9ǂK"…v@wjOYU4&1i8v1vE@+*4&8nOZq'+}fas\+PY,kTv1swlXm $:?5\tl;Wn@t}V SW$ll#1^Ou6OL7i"!I[# /PbQB6-*w=Rq gۺTzUQ-1,Oȋ{ئ(