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  5 5@' d4 ] HOLCF-Prelude:threads=2elapsed=41.428cpu=78.968gc=3.304factor=1.917zXZִF! 0i]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k Y^?y_5M2#>.<5 ?q:;_f8ɱ%_sO˥Zy)Zk|[>Ԋ X);p<"&Sa-N _l 4SbuUE9KENJ]VVʀڥEIVL[`|88jfRX?l\e;_V]$嫁]8GA}T!:ffWD@)lV܁G-]f}D^cc>agf8›Σ+l=9q*@~8oՠ\b{CP L4ؽ@gȗfbCñlf׿r$ Q%tx&X pbk NMoWc4E }\GeLa`D`Go6YV.ķk/8=e=UPj?JnYndhBN:P/U8VȈUnpU w:{FWtO2Xt/G` :qOp:quF5.(b{vO~x_v#Vy!--!x9)0WV5UqPZX#lD;ӣv[{ p|ּ$kʆ97v5mOi(Rxd #yw2!߹8R++Bv"*M"FU 䍢{A! ~-HRXeG͍P ' HOLCF-PreludevOxaP1?1XoZRH:4F6 duŕ jpXf&;Wfr}mBU  aӱgYZ7zXZִF! z]ŗXiɟ1˦rnzx <@0+gMLAb /|hhe$nl)Iزtn/9yqR;Z3>5:)wLENa e@V=$Q(nvHzTY/6dq C.WN]#h_!I}ڭ˃$"ҩ!X.wXRZudU!/g|h q{߯Gc/DvFnqP)aRpTەNǯ{IQ_I-k2KDm\|k#\H[\0B,TϨgp *(fVlhZ8RFkVѣ(78ŢZݻ&dwNh,zؚt8rKTzzܻcYAimp.2@L Wc'Ŗk* 4T(3Nea4ݡ=\fNȤ*IMQh5ivZw]Qoq}cAA93?gz[@IC՞`$,mfgYZ7zXZִF! ` ]ŗXi%9*]LJwX*U؇ ;+Zt}Fs /m3Ci`OQvSo r%9*uhOOSᑾ+B;RE{PjuI7J5 -s<EIr*.Js_!zH9eWNoAY zr ,j```gW C TE,{,[Nj[/  ~4%XnoV&nNk/< &4ڿx;741[EՍT0WLw]|q9M9Oɟi@KCW%o:4`/>yʺRU/:<.! .Ԫ3^ ଗq% +*/C h^ rB@mAgFMH[qV|JLȿݮBox gfZ6vpX2kbٹħ*Z#շ4%rB+%f٫]id 5f2Rɯ6Z:bSiu~CE<.w]Vp39 h)L`K0^OnL}9'Zͼh>.pi(W By2tFI6ލq:R,ֹ"v'ݺߐ1 F7EMzɥN.Y@VtѳM]D|Hvs֔I*bq³$%>n0LQȻPĜzyVbh]`Q<@60q=1-,`Y 31U`۝%f+2p|HSIo߷<`4М3e7  4V7U02lagW{ Μ㡻0zN-W5դ| x¶ gUB0v?.L|ә]#R@C/[P]B!t%ܸWSGcI O;mؕiD^y839oUwYl֝J-K:o_j .u):\ec?Nnf1Dnto֔/\Yi ЋZ; G^BԼ[s^j{Iޮ2X{z!@$$V9j W:*cT Qc)*uRr-.즷\̎%?,p!$p,s%Lq\j_Bfخ<10kdkKΑ*8-=R#fnGX(?I#[w_MGqǿɶxDʮ]bh4K0WǗھ{;Ó}~}@Xrp3vޭF>СkEoMD\6Do0DR7 NP6N5CDV5,k]˒"xJ$yP!'M|^1Tm7@' Rԥ ʉKd (u|_ܱQF L$٪Ϗ6 f@|OTbwm &3=@^}=XR-X!t/cied(zQmy2{rX8q֍z7K]̹ţ9(2?L*Q&Ƙ9!tbrڍfgp/eR͵z+dTO`8TCٸC?ޥQF1XG1-l\n` Ƹ yW%{s9qPQAi|C*ύ$ &}G6,"n9 ep|yNPJNQX@o3:R:ڠvQ5lO!4 "3]Z }{'rLloGQا;{b7qSF:%KĊ5c唖y%%:o]["pvp7ڼ;g_|WQ[v'hǫ܆,A=b(#kUS̥`1}8h1LI#5d:-4BhX``Й.nFqAfv## +O,:z0{Ƨ>zpSɆ<[A%OM0ugسr|B|l觜PŇ[A@Cs \MXuLZl5AZ 鏙@rrm.K !F>1C5;:KҜ3ӪO鎄"|,截#f Rv!g \fp;'BpX*Z/BzW( `^9N$qCli'1Z-кt}z4R<Ԡkޒ` 9y#3$Lb,ߙU7IzCr!%,^Lq!;$U6R0oR~B!!C#9PM--}/tĶ$y :oMVGtI->msw!mfYP4Tj͎* ? ~jD1!CІq YV̑C cSqgYZ288b6810d9682cabfa4097a5ef6b911890905672325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 7400a7c7b1bf4332872dad9f48e36953481651f8