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  q q' 4<< ] HOLCF-Prelude:threads=2elapsed=41.266cpu=77.832gc=4.060factor=1.897zXZִF! .S]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kIJ!;7DUܗ2ZjkZ'FCyEHZ'i ۜ;[Xrz!B R;9_Y zAg斸ie"ӂם=|ol=݇~蘭36 $ Agxv9RuȄ˰I1߬!t=P\Vbxm~Zǚv*[(biuف 3J/ >J y-A=MI y'XH (l %% 9>-MwgG ihY=43j{ O;RT %3|(bGk.pMUb/>g8cW~vSgQb{QdAރB/3K,_ "}3fEdXg*0.dBR!Z ~3 {Q>!0A`+Qލqꄟ>EsOtw@Y\GĜԅ7Q@ bi`_w 5/(X9цy#vfۛȖ+km3w*zpe r+ح_B(98/RF-S !3zhtYxqJ *. KU`Z ' HOLCF-PreludebPH'ݢ#I,"ށ"}3Ur|RvV!}zDW-":ߖ \i9x!c%&+ ZTFgţ5˓aӋL׬ؿV3V &ЀPnX(ORvs~PѮLx5?@OOT #ZT]bO}<;wtv0!f=%}vxݍ.W3MeT5W_[kXa4nˤ 9ҡΥ9bVCڞcEnrM6#ZN7>_0"3|*\Pya^k4as,и$-' l擴E M $Éa"Ŋ7 0)*gR2hvk+)fUSU8pP0eP*M z ]Ɋ2gYZ7zXZִF! z]ŗXiɟ1˦rnzx <@0+gMLS 1t; ж5jK-܆0㸛ty_?H8{Y$ݏxdLמFcG/"p  Fʍr1Z⠯~L?/%3XjQ q-V /P=?ey~E;-zAએo搑0Wfvk400;5$b( O6I96Ɩ5F0.L "z.>ةh=M<ڦjAt!?b Ux hΔt @D!D]pSdSh1v5O@cM_q_di:Q`q@?9 :O߽}wî{e6PY_NᨁLz7Is8˛麸}QZOpmjrgYZ7zXZִF! Ϲ V]ŗXi%;ŸiZse7`M9JL<Ɛe} MBpi6l ZW\lKAQ8K$P֌,l -`Tb'P78~pd;g;v"q‡=8đ@g35Tђb# qy2`:4u$;&>ȇKH87uu8jcek lWqiKUߝ&o|eA^7Oi{IJB!(G gƞmV _P%KI!JnjkܺI/B:#` 5 VdF1ZC5mqDzA b+ә0jل% a>͖h^ =!γeũcso.(ŚKxc9}w-9zSk4(JAW-<(q%Cê'(*5va5E*L]MfsMy]T"oj<[c( dIyѫ]^KDǭve A,Ej$|޺n?cn*cS{Tt,Mg)8&a2M*g+5 'Y8<-(?N1 瘺gZu֓9S%ҡCV1m9v2+l#Zzuf%1L9m֏9]BAc2,f#bЀVrJe H`?Bvnʰ>#wṳbWG.#aȞWX)t‰& 8BӪQ Bf.p)`ET9P3Meq:B_W]Jgm2W%8lSV=;BѵMna, ߟ5tli })ѹosd$T(iV٠:Nй>)Z@̢&Ik050d6ҹqաs$mԏu\_fVU9WM %~x%U"B(T{D%Kfn=86 # 1'nL9yMʦQ ۛq+Sa'#"qbFP(Ÿ&fHSI;Kd#,0}@AFthh 86URvxZ0]./wTԢ.)n-/;UICyKr3X\]}Lnx4*j4TG(^kc[V#(nggbרּ΂c !ŕиqP֏9(g}t٧%ok^R?yl8!~şjB'0TOGƉzO:uu$Q{'I+8ME_c9{ñCS 3/I8'P/}hMauUތ3? RK>3kFhFja7~s"sQMN`^A;-03 cd\3?QNY}(ԝӆ e Sli}'z׆JmЈI(ȝ)%5,$c-BdKn1$g6Kw:H1mǺc#~c PF+ֈ$fO}[6ږYmaId\ɋY|Nv=D89ٺx{p{6ee?@g>F Mr`B-zDg?{?X1r_k0=aZf&NzǦ%&ea3st5HZII./ n^+8 \`2fzX۴]i`ʇn-$Գ{!~O*W)6K//p]/K_D=c,a/4m2{?xvvg3n| ybcyBeo=A4^)*7,ܰUȉ|Q MDT`H5|_o^$b?:ΊҚ#0 Ɯ3J$?~*t,B ~%%e?QC șLc5g謶ˋ@Dt#I<[L3(_HiSSx Cdsy#VR!s$zYl9l؏٠cw3v`q/=ˌ8*#`;ύV 䮐Q 9`kd2AH隫ZYwv^㤗éFi4 m-_v=+Ʊ<UNnN4P '|1|CcXI+aiXEKHZF'=M>8ߔrZܵTCcYE3wOgFqpY^}ZtB& !|0ȸʭu LJ!`Ai}~kt[g9Y=RB7=9TTFF"'#5cbe`}_¡gYZfb08181b64363904df494fcd49dd09c69d75c35f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f c4c6c1202c237454cf221a256d9a3dc8414d754a