SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 $$=3 D, w Presburger-Automata:threads=2elapsed=34.676cpu=59.072gc=2.204factor=1.707zXZִF! ]ŗXf1-/6vR[3 nQ@f0o2췳_C?XAyR 'wq 9sLPhl ^@p@判G˫PANORYO%hz#4D: B no6{_i9F)ªo=xj7zT\8XD%l@k&]z>|C:`:)82Xt:EI(U_wcɷ,QZ2uhW1}lU݋` Mb7k8ĿJ"lƧX~xe1J]h*dBO@p_Z%>{ިoUO}'OeM]`|?fVE;y[ jQ[/y|aJ+p;+0`ɥ7{_J`Je #;R/.gH^ ZN uϧ`5;T %e?A$*hj}qc_ԊJ,0͠hZ lfzWtQГ` S*QiI]sD7HGcD0$^쯹#uZS4Zrp`ǴQ$fLxG$T2zHTo$wF*)7 WFE?A-u,/n_pJ[YDlSMе7=>b?NI.7BPNvODX0TMcM% xF2zWX޴MVTo%)CC"bזgwK hXxWHӎCb5uxǻ{q&ϯp+^Ny'eR77E&$#~3 \s!bc1Pi9ef0ߒKv=9Z (ulpN&;B#5Gyfg:ӊ ,|wn7Awe)YkR#[]R9QrY dY> Dp_3bf{5g)åtZ񡴖D$ܱH5<⌵WfܪIgk )J2^·BRV9ѵ<ң(OWtn;3A-{MO7_"fG; hoySpuljtF1M~Ӫ] %`:r ")`JfUke{[TiXB\Oćd$kw6eHMM/# lPFfߜ82 =wo## l]X&at5R͸+ {Q2e#p'rYW$kw3H, qNiUP1,V-h:Y Nm (YG!*Y#aE [:y!rṙ|'ιa˒ uwNjaD`}3fY&F}j/QCܕ̊w@1VU-P>0cd4PzvY\:Kʯ̆=f Wvm*W~C1T"`Ln[r--Qy &}uniN,DAj;ݻ/Y7%!#krl}378@ gpQԨוx~"^ Vć$|Xh>&4.-G.C!l m*sMqmw <2M$ۃ}viii,Is((;}s:QXZ P1%na3Q G4(RJ.:6plBS]ý01V6XV+cRE̲[QSs=Z1X*J GD&Wv&H:h΃k஁Wf :~_F $]C ^T??Ʈy/JBѯqA]Wf]nŐfqU_^2M˘h%j,rgN rK/iV2h4?HT!Uƭ䓕8Q 8\5WLf+&Q&,&Uz2 ~ jQp0Oxb`{Gv"34:gZuNT.ED(+3Nނ*Z[Y9PH`¸ƧQY;5uEg.S*W][e 8ˆ# (8Fm L:(FM)p^Cz•ګ\= Y MQAeh7P"-Mz0(=pǤďΥ>ς!%Rdj6N(`}viG&!jy9[C= 'chsزW#Y-[E\e>^狎33]CQC3!_Wp39@ˊݨ:,;OdhhvtބuK+;aw1k8U]ϫ5P-iIdj_^:w6u^!ůR'LNapՇ*t g:t&%Lmis4$>3p/?<Ώ֙z("I?cKpR3Hs~ńSlj8Vz>U w4%t^7ʅl:80fhɯ7rocLPxQFo60ΞD>ZMuגSkU)"jCTQVΠCe?of03e7>cd`ǥ\ )n9B#2vOO*YϾ%#nHЬp2Ǽ 2,Q83eF AnM>oԡOJ_P(-bq ,2'Ă>ȍP MkW2' ebV6Te=: |r2z_MjjP Prò5ڝ_G_!,&5!N Jz@ ,C|l[aIRRa^eT^g >w:7GG}Jm1FUhJ‘C1} qUG)Z[&ϱ͍E]7\EhA^sGG ^Ү.±l017VZ'|N0#ш-bA_$)헊?QtW>eѥjf)"WV h}R]EJQ[rxP::B~2$,hڤPXnGso†vyRY EGbАRy KmpQ)Fl!&cEΰ?u&? bX|Cr<`yf6p$Ec?Lqb&UڀA106q_mEI) KQ R(IyѨO<ՁvZ_'rE=xe_0"REEh;o Z*7SBt(~T~24y^\Wc[D9/ׯ(j03P" *RvY^=Na:ʃgFiTw3s}r% V)HDN"ٞ17ֱF/n.ڂ3sRrKu&IRv@t;Fb;S!%:}=Yܩ |T*Np­8(!XG2 4¾2>zNlAdCYM қ':E}\zI@TIM >Uݷ<8$ CfOVCr$櫪 #,.P?ڴ U%8v|t~*bLFx3TZбgYZ210fafb134ead6df8a201241aa13375e0dc11726 504951e03def1231ef59554348dcafbf3b94cebc 9867480b1678db383a4a6549e30e68d614e898c4 b2f4edb285b032131952185be87c56ee9c5ed2e2 dec66a718536ca4412da909ce223c281e620357e ff9246c6638b424954b5e6b1e299c39d316e9e1d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a