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 RR+' |$ ]S HOLCF-Prelude:threads=2elapsed=38.353cpu=74.408gc=2.892factor=1.947zXZִF! -]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(p|x-SgP+Sh(y@p;lI@B@b"Av)VA/-^rrqX:ݚ U yTCP bG$Q!M_ƒ/DALk vY4TԀ3 r?D%ŤY9?j^P#H@I}ªNg]DiAx6#/n6ץYL OB_e%-+a&Q OoLI1>ETj+ƓÌqʥֱq¸cќyZ's=$y M;ϰ^Dp6!Ag 8y][ʾ۽-{Dq_j9Cm7'#K5XDgN܏ w{Jz㌔, 0=@B{oNyBEKl{Ÿ#oBgOfQ0lAʮ~H+C58SW- u:Q;31X B?_f4d622wpPhRQ# ?VɃo!ſ,P*H}Ul`{Ƅ )6¬_Hc4pvTLe8#Vb6 сNR8ν.9v$6iQP \}T2M_,=ʥKC)vl>`=rpGzV=O᳚]ju?vMIO iSV.KhF?x?̴hZL+5t  [gYZ7zXZִF! , ]ŗXi%6Audg6WE5 P-8!)3" Yqĝ4M =|#m5Gx9{.)C[Ud8T09l$܅[Rג28#Qi-EyhNlQrKhq6{G/f4UDJ!tf .r@&*LFqCrIu :Zz.u>u^hw vwh@r6Ԟ r?%k$=-OšB_3دUL Nzڐ׃ڴ(UrUt#a(SZyN2g 4HܨvFQ)| {RxX@fBo啲")Ju 餙ԩ GnPkJ@CHѻUKlyjtc_׺+ǣl]D=(z#B6z*'Ta?=E/VmUMƼS("*$%܏ +(+ UfbIpyS~__NXyopyFU6Iu&\o=H6iܳêǵ^Eu!ml@g:v76!CustwFŒamG$ZER"?OX |ȣ"iVZg(CL>/)"~$2Ȝ_y0dΨfV\݊ӡ:~~- % ]ӥ&c,Q?^Pa9 dN?CXZeDY{q>۲SaB)#R=2@IV퀯Fۅw(O.I.(M)wqr-LIs@Q7nA;)`̿R85#ӷEŏ=v,z1NA9 t04)b1>گu@KTm4;}ps{]:Hf$]WOc)emyc]'$*  UYI4 q(?+5;ӝ~mӄFǖNtŽ`>š5GjAiSp6/<>`ծ Os8jI;%D4Es]c:!X?yW<4MzVؙ{TXV qe$QXh6 :+YnZYpZw%ϠR7[4zfRȪ`sAD V C?Og! 2/2t6e'4 XB]!@k/Ԯkh0Fv.WVmRKՈ^v,bnoM= gpC$}v Ј<ۄl3'!B0V\8 [cJݾB0D9hZ7ŭ}ݚHܝՂԟQ}.N\BOh+tmGs1h9f_I8Ղ=[9Ch;pomdA_DC{IBtqe%L]$gYZ180766c08722a96882b1233008c1722368187d54e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 2482957401095775da64799f933cd36f56916949 ' HOLCF-Prelude