SQLite format 3@ . YYQ77Atableisabelle_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, "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 l#L iI]Sepref_IICF:threads=2elapsed=95.228cpu=163.152gc=4.248factor=1.717zXZִF! uo]]ŗXf1-/6vR[O!vې&-wT]ïڀ8aĸ!BIu!1vπ9Hqsu9<#lB y(G/gxW/4W91٣?BQpdFg4Z4%$|$KG쌧K_GdUtL&8o5{[Fg=ea& ϸ4w-8I {\ )QW#b)ծ/@҉~Ҷ`H>+$nYy&/3SU 9`dmF1$)j}][ Ē~X~v|9 fH" # Sepref_IICF?E11+7nt?hW^u{t#܋F6! YE;HRzD|v*V~ٷI&<°5a =ktd#'J<4X{轭+-E(p%0Eתsٶ_ Z7Z# ˻*iJOZ, Ց) 5Շ$k_R@oӼWU\硕o$ǵXׁs7Ubxu.3qgUF0vcsn5y.b',H zj9~peUdt.w82{_]Zv<+aW, A`fk h ڴ!Pn odrK(1Q s^ŐoO?PDd|~.9>0@ڲYudOY읎!ǝzkЛZ]c(@k,AmNG ||-J_ ײ~|*7Hx neh+1~wYt`apT\nMNnHk̔o9 x*Ր<$;}BHtb,ʀ-rJcDR1D)"3Ԓgq)Ͳ+]42QIT ~Ί0u4.rX6QXvt.#ݵ0΢pMJS"΁mX&},y gYZ7zXZִF! ᷯ]ŗXi%6בXėߍ6lf@4&0LBO>j~ id5KFU桇[Eفvb5Y`Ofu'rf+J&ea5.-M,4'>aQ4u-RpSv`rX0}w}_] <@_9 GYDfyȩ~F)+iJzaFLOOCLj #Q6C^K%x}X\5 e~W+{@o?92-a)4o ڙ#ʼn乓q+(kIFLuȈ},D?~mo6;Aؾ{9ՌGSû[_k9(:xY}D.w '> um߼ 2evB:eR)sk'Fl_7=kqF F_n6YȌ(br>) ;N̸E1N >LR;t姑 F.2 0SoLxf1/׵pk0 8+KwK1)tJ#fNNA9o"'f\ĶP`ì#t3|[\xmN?m9J8\GZW>ҩqϾڳ. 㟺(4ŝCc_䓮G~ L1*Fݓ:O&4f)CE &W`DxSV*Eg[\);8_ڡ=t3a\q_lCJ2Hlq)18S}Sm.]&*vb뛖7ӈZ^ A"Ĺj&l+f <3d8y&#kّ3oqtGEw? 4\Շ4!¡o5{N!ëb`70bPL%Uu`4TpRWH2'}(و 4urӯf>%㱫Gg0LqI"Ю@~=w,k/c9;f*B]t.ZHiޫ4Jhj/R(Snt* D3r;s}>i$ 5a  s)$ìNR@5s) R*]G~j`ji+ۼ}$K?!K&U`5fY# !;,̈ۜQu7?]py?2]xJ*e<8rΩP=olQUc|Rm6jgZyן ,߼&"-s()-8hX4~bxgYˎhBkK˾|y{3h$_/Aڸ TaxE+9$~jmwg0b}o wJ4c5x(ei_N/N/*VLC]#}(_=g}a6R~,Tt@k UY~Zߏhw;JpTJGq|{aE5_eD b.:"y`UPOGQy"v8SŸ|~v-@IĜ2TդZY,tnƲZZ~TWf|iQ~/W :a [9㾀z{>4]E!_Mw@cifQAW'v%#*vpy h(Ժxq!2 (i":'הH A~ ^xެdX;aE&>J?*5 '&Xn0#ĦFoBI?iW l83#6'Sl. P_TJ]14КgjC%uGmW3 +Y.`Ac:o -,g1[d##*Y%43:BdE-Ct]V<R lp(V֚z6h |nڥ$65ɖܼz:e>`Yr_1:"kz&`!) V%E8ZT4_8z+W5-f+M6xַ ುA~e&TEBb SIE\R\+v qކ>&'ʈcɺQUpIu!B|1vEnUvs0*iKj+t>v}.hz Rh;0['XMWF|QĨ9Mtŧx'8Nq? #(d+x,w:U+;A5HVHM"5 Xeƹ>G=;HYx4HHk˓˹<]dy$ <ۈ"Z3.`oDSc~&vi7:Q4Q8kY9`F5mv[>ʑ -0ä1F+gCQ҃ou/Z &7|qdP [Z;a,jeAD<@Tl~%ǵJul)OAͿZSɛn0t`7:#lh9Eaق!{Ntjnd̉^ :M1"*x1'z:.m5b(Pe_՟RF95P]~vЛ|=(e2o")dģRP mX%]<*3e*%0t/IXXiwjxDU ǹ+`(z[6飇i#E0f%` Udd&zn?d {d Dh\Zު4v:A:su Ϝ#әgYZ2169e75695c75ab353388f9b3534d1036225f0b2 226dd8fab725a29f838333925644eef07fbe6e08 27c89c34b0afa2760a6ce6d1207cba4c8717f51a 3d683a6ad47f71396847d283c40f64ab7ec12381 3f3c11d01ce3bd1bb21f6e9137249729b17a5aee 40cce05af4f093f1135faa72109c50a20d5ea039 43796130d8cd0cd161f8de09e77f6585ba9991ac 49330212d6000523eedfabfda4dda0fcce94652b 4f0aed55dada1cdb4c25abd1b5284435a187519b 55c306052373219f897ee14600f5c2b6db1219c7 5bd34386eb2f7ea3fcc6befe117c6bff3eae948e 5cde8a61adaff2cef75574ab3e31b4e583bbd197 74be79d40e8d02ebee50915b3ad1a60fc26d433c 854bb98e24cf586f729f96cb090fab87eb92197d 8b75be78325101ecb5f3c28cdbf06dc6163db573 902280d9d6f711e37319424e139be785cbdef5b0 9b81a3de17babf97bbeb151419352fdf6cc0465b a15b8ea18f0555392c465dd15fe9626b23d92007 a453f28c4230eaf633e507df3dde57c94254ef10 ab79dc0cd7a921ff3b9c5c51899fdf380cd6aae2 abac41f89c638bc671155a2ffefc501594c466ac c71e3f0d32d38650140f9e7c1aaf2d5bd44e15c8 e17128a2d5a5781007eaf8b71929ad332913d1e7238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 011f60eb1f9661967adbf89ade5c4cdf9f47c443 add365c915dd915a6ba3662be65e70a58921cb48 36347437d4b6ddbfa8a7eeeced12f1398adf4a13 a17fe177052d93275a3a56680e0954cc0b1afe1e 50e8f3850110c0041885b48231b3b274bd9eb2d70b96b519042fc1c83fb6a0252a00ddfc6c51b36c