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 SL| ] BDD:threads=2elapsed=73.439cpu=131.872gc=2.504factor=1.807zXZִF! @C]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>d%lyD-SZ b -ZY2Ɇ:郴5R[PO¼Kq"O#o+d_Z~wI턚H\nɾr -aKyA@6ʂėu[U6KC- ;6|w'ycC/~,B5Tlb9lГJ˒3^sM;8 *Ζ0/d%ӇCeZ45}J 7x>a Ѩ]¤,+ /i:N49KVl^ ]ڿ<+!\dwٱГ̠Qtbj<|݊WX$q7_} WGzߥiZL#D ZCcl5B sb= 67 8= x@IHH|aϼ '0:ByzcTq"#tR'Dl8YvQ-=$ , J`X9+莁m-zSC2ߠAl]>$?;#37/bǧp)l{ ,sT&ID1i2lĺB&=d\NYUa"l &zJX.閮&sQcߎsϋp.@d(>Orf`E^8ƈQ)[l(uw_L+dox4zy%9Ӿ0bel7CGHGA׽XΖ)ٗ?:UO!As[m,&_`7S_ 4obHen͈ ?K{~Vf!wS8#̓1kV;vJ/%@okL\ѭN8[iE(Dcj2Hlu 4gEtvbT Gky癓RAe~q0уRiP>GπmWoJvVf*d3z*A4_nwShJχG3 %MN@@.7ah22F9z G&%*M#iZ+\A쳃*\23VOٽƎaVݮTkdoA5WF.S_=ىCpjA=HJppኩ#ft,-V ,d$S䄜̩9v~Hø SczzԿOT9(, ~kI` ĭQ].ArMjd7`&eh*]{j|6#5CHe6^  BDDe8P,3W0"+}ex,E1밣d!MĶPL^7}qX0ծ]*G!Wu94]?Pn+8(0nFb^^ 1zmɒwZrb׳g>)ཕ֏z8% yemyɞC6ƪ ;K`:s<\nVH*mmo&C-W 'Dn\S6O\r۵ȵ ys4KqY~n-bSd9XDOu~Pߞ, P!-IhIo|I20^6}cm';!`h<:&zQ7[JׁABg hJYTgʴЛa%-Sа;JOPO%Q<&h d  2hA<٘#!OJ%kE7{.j8A姨Hrw_W >yuTeݔ`g/k 6uv'HJ R-#LR*"/-(oW1bMSp%tۧ !Rn,,k#5$K GGa|mF2m(&O'^Ӏ4N %/lk@xdT+Hn==,$h|TL}K;r=<VQ?UPe|$O}\eȢB//4*# p\cv$M8w91nj*bVͷGNe *8ST K N줔8rץY8VAZpuǮPK/Ԟ:^EM\4zU.=|yG7=i!fg_ҭս`O=[ CiUY#" E(Lb#m&HC  I, p-e(oPdm+o%hI&{ XAު1nm^0k]|4'cqY79d3_ph;xqh H۸4u]v a"2ZlC,JOxek8ŶPU p&2ss'FM6le }yݡ#oCgrq\w^&x# Lm|D w{ys@՚<9zҕC$.SAK!klNT{tֿ֣ﴠfRH.TeΚ¬XP=)#T;LRVj^ 'jH?x&+|*nKE`k Ņ 3`hƙ%i&\Kv >zc3 fsWBH)hm3as}Ax`pB3EqJ6Q0+-2!赮ǤКByR )@P"4;!~:ً|4TF%qz+l&>V>)aqߝqn1ea3f m*zL- 7K!jYZRM&$W*Ljw$hZ?[nө,."ѻ=b=t[a5:nʢo +|%|zm&SƏgTHK"hC־c#,La3N7YIӠt.fa["xFn>K5'*fo8 >L2)K:35!a>Zˑ tEfV0fDœzʎ",rKl,,VD?w|FPYV?\>E-猖HMeТާS.-GM,ύ$*jss ثF~%%rfiEa?=$)zUqZVm KyY!}UJؿUFIY&f6xxtC6EB[>_IH$K&ukm&N(dV6y$qM T +05"RK[^罷u^HyA x⑕"Rn5@`bOECI( ̡\P+e]`wo ?'gLPJ/`-Uӈ7~fT t ]˫6K9+Ի=KzGN _@u٦u*!I'/[IXvȉ2Ĺ~FKx][U(BI7De(7F˥{@?@! X4rV[3dw dTڀllI>}| ᠖2B}Z*ة}jD6ր6/;QpcUa_pr,.J>>em û1pf^_}\0" #SsΜkQV/Al>Kq+og#)I!^͙HP(U&ϋ9Q- Zݛ7Tg}R0uW;̫2CK ~KĮ4gaslK^T@.lU\c{}9#W,V=R2mN0mlpPu%ZDӯ#+c/Q(`l 摥ٮzWЍ _… ؠ\j4,sRI1٦6Cw{+eP19 F)Tȡr;0b,L)Xyi)JV.ZPP/aRIghI;x~׷)L[YS bLR/VQFa1 LZ\Mr|ꁮp1ZXPIxf#s浊UvOai}$,  ]=J( -K LR/~޸ɪPQ68tx\~`. gYZ1b3c9226b40b785a7f45f9272d1a5e649b6a9eee0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 0338b01ae91919e4bb55c26b8ab178b7b79d251a