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  ! !T' 4 ] HOLCF-Prelude:threads=2elapsed=42.384cpu=80.976gc=3.528factor=1.917zXZִF! 1;}]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b3@qɧoh48@>jYJCLk(ZM#.W}G 16nK5\kj2h@( V!峦by9CIrXU;P}PR9È ,52hWիìROEvYyAU3RUT%4(+c:lY VŪV~#HlY/-32yh;z9&|΁} ԟe%b1HM b+LgYZ7zXZִF! z]ŗXiɟ1˦rnzx <@0+gMLS 1t; ж5jK-܆6R˱lF_|'fM9[]8Nol"y*>5qE["O)~t\bSyk CZNJ.xOR\YUG( ?zkX(K/oQvL{VO_lA+t^ڶC''!-IPҡo7A'2N:+Zu '=/1^6k t0/-6vF|G~3'`|75l^,q*9Q뷤`VIdnmV^1t^7!%8Q[ B`p4dT=9™?H$rGHQc & -zY8~lֈKMCE!ЦrI|U ;`fO8+k#-OIˇ1Ha,e\/:NgYZ7zXZִF! ϼ ]ŗXi%9(PKYQkrrJUr_rm~^u9P?e_Idcjo|nݯ&*V#:<.T4 (*USPblaK+0zO1)*CW.|8 uKUJ{abCϣ[mMiT73A-'RnSE4M`u4 vf%9=o@W)A|fuX/-mBH1IkL6Q H!_(mYۨ:4O'o6)h˭zj=R .{Fٴ؋=dZ$&lp-*b>*l&6qKijXW$<,^OF01\D8L_l(z@ӭjӳ8% 2N.HXÎ9stA27-'yT -0EHkjM1kF͐|?5(̄2?[L4Dtnbi*d.&(OS>*Vީ*;1J}lJQ^(uvhz $imwQqe9j p\*;-&yMpf!M 6ތ2 .X&k7g3R4MBh/HEO !O7L0:b(ꇐ r>0 t{ƣÒwe{D~|?ӋƯX¥=%*mVw6\V Fmh=WR]C|)c6NIӡ@:{:d H/x͓@@kQhF6Hř i/@zˤV%kQRռAޱp.c#{F:c?2kAC/}7RͶRq-ŐS|P0TZ_Afݫ)OdG({ MhPtx㭎|`l>gr#A> ,A5s槁QAu-x,Vfŏ‚Ih/={0/.|s`?Qg~'A2i1DK0'c:z6@7Ѕ}f_mV_%e.Mw3;GV'ZykO ITN^`bR7[l HE)d_ߡ/wv` Dc&R3jF7ǀ{|sw:O"]z1SE$մ__ah7nڏ 9ݘs=:>lxȀ}` =fK8h0R]9o-8wB.ĪXb a\N 喔KJ4Js9ȟeN4( FsðLb{j$" Ɖ:|>ɻ($N7wp;1c`?3_/~XK;ORh_6!஭yWs6)ѹ=%mC\"(_pi#.ΟX!/Õ)4:dPev3` SAH?@[0M|ڞɌyQ %?9hE#0pY^jiCc".R+AP0 3RJ=j1$(4 .w]{A'O _DhBUF:@N:m3pA#YA|LScDJ?^/~&;7kگrӴ4]Y>syc;&~#7 !hqibr[M>64^=u#$ä(mWx]r˝U!Pv.2 8dF0ckeW>;d$59vcg w*!K7=]bkEvc_v)pB5TƜ=Lx%,5gL3唷3%*4rEZqTnnP.cT gc edtf ? ;9D  ZnTlgP3>0J^ 3gYZd4e0de7dfa8328aec57aac331e44c4014adca4ac620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 f2a43879b50b268ff2db3f5692adc58efb8d10c1