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 '#4| ]/ Free-Groups:threads=2elapsed=91.744cpu=168.236gc=13.052factor=1.837zXZִF! HC]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj[<6E!&eA;Wb,݃]?;F%祍?<ʜ %Q,Nm'`ˤFyҢb1j8(͝8-;.&Iݑ_AO7l"ځHtd2y_[q.2 ќ-he)J]C]`<8G'M6Bt y_ڡ'2DLwhϳ;R74y&A>3E-5>'Ts j``mڃ^Bxaa֡])NvLU P>R1J2&gҀN*XIW0͝0 ]4:͇s gΐ1(_&AFdN( %OW6'k/&߅\Co(þSl{ŷC @'˜j'i+a, B'Dٺ3n r5U  4j4:^xchNQx p(QbiUOi]L"ٻdT#e:;d]6J:yS}r=,75ZQ k0|zԬڢFn4}%au Q |iZdj Sk,_ZB4S Đ!ÄgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zJPc]_[ҿk#ZD,wjVcdĪ^g1^ &[2Ɲ/ib垷Gn.pr3x[f6S(F\ye9?oD&`c+ESsܨ-]w-0M^%*uVG.(+1+mj-m//nduL۵\Mpxz:7޲%nҾPV1r,bs"Vb'4@%Ciwm@1E[K;t՞/M^Y^+vi+klp5lUF8KG ̈MWd--ƗFu ~g,`H%jV_!W/lgYZ7zXZִF! 3]ŗXi%;т񂨪8[Jvp_E;aƛVgF>DU:߁o਎Ң th C? Zpbླm/.1I# 3lg[qZM+l!5膋#pn.EU|X:AI;A=+J5&6BُH?1*& H`Р7[Mϕq~cTn ϡB{:sX:1F%;9M?Do/zZA5ﷵ-j\vG(܀3(M*o]Z8^+$-ET3pR NShLLA,BM>Hos "C7א6m51T>mCCVY=y%̍x Cj$Y(ߚ5HKy_ʅj8+n`L)-L55xDҷ_L%Nn/Q\oJ,ŶETc..!ɶ;I ՂAlFP/I6Kq)cKG,=NNmgȪx ?R+}g~|ԫP,n_Z #ͫLJaz=7V bC!QkCҟJ}_];7no^$!].ʅ;&= Aj m'y薟Cݨ5㣗 <_^&tZfſ:K[V%F[3KqbĘ׿c?Ha 7'.""ޔlFFLם^` <Ѧ"͖U_7aS4@(p*.x}Dzǡ}bȡ+ɥed힭 zU־6ʞ3IߵXDZ ȥ9 Fջ>zUD's1.Z0>VF,YH;${)Ay*^3BpW$VaaGǸ!w i>(܊ $,x"ńLB-rYr[zk2쨮҅f<,'MlIni! un*bTyLcqT䎖l? v+v,2tUb_g| V,(Q$]U)M}O3>KylhxSJSL*t9ᖀ0}| s`ifk@}3>ۑqzǠ_q΁X,}y1iLL$3! ^JIqo88`^fT%lsʖb}eə%ϙPp<]Qf5hk]V-yQ# шP N `e.c4<ڗ?\0CFٕ0S mمIPr FPpbFhy+B, ~2 /CiƫaĶiL F24mY?ce`<˅׮9 z!z]XX#'%/;IFīX_Zio@y YpF ά.-#5uִl  e/p- (AhyCBrhJ~G=-&~Rt&ODKL< Byr0Ho"?[%6SWopy<$̳mI2r迹_Nz A> U!$R"8ߢ,rO.DdiqKmD2jaBx|g˾Q__~'s9rHϔ/G븤WZ|J)zOrQmu*r~o{ C`g?Jr[ %! =80nf/h~E^,o),粈HC= C.\k+0u(o{ʯXZycZĞ;<0F%(- T+i.w5Y$[zj[pD)^R]Ķs*8_=e<^sx+=VB2:N@Ŭ; QiFDnO<Ձ0-4XxwsMΑ\zӵ}M:N'ڵvi] }Bc3Eǩ?AAGx4Xю^fj,kQk55 qNԴz8%b1V{Qwsr0,P5n?{BqVvUj*4AH.mk[WBKmo_,aqm)zE]ӗ%NK%&=G!ڿ7Ís-9&lz htùR#=2v'|tG=Ƌt@\5'㖿 LJM2y/WF/Lp5M xx!`oN֠6{8#Z&׎͂:G=~`+dق.bt3(%2tt߻/h'ux:a,C,d޺u(ڨ pc>gɍM ~>?Z{fČ(6JXiŜbJ]̰LcNiBzlM\3W( σ`Ew&rP& |A.zeZ#l j'LK\4qR`rC ^KWCѤ8H/Cv1Q~2q{i2,z1׭?u3 㯄 LQ)nb-q!k |315nѐ4NreL8o&%gR&޿g8;UX }h E4zߠ+)}Va]cZC 8$RxmJ yYM?KFܻL3[6FB֭NLp]iZ9֪om5zJ_j V% FP;%9fkMG̰ 7mL5L'XWK'` >* pyMX}r[ /dwNa}nGk.硡pp7ULn4J| a3ȅ7l .7$A~iHj'/!6:;=>1P\j(<R)C5 ωkz.a|6d%-kCh">*mrEՇUڳTpn#'?Q0ԀerT,$$̞ˮ!Bp=Hiv6va%®qE#SbON頪J`U]p{\*-HZyIfVAx: o$mf[J+3Hzjn<'\7٠9`;-l'Vw#gYZ92d6557b133bedda6049f93fdb02e520e5e4be2979d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6