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  < ]/]HOLCF:threads=6elapsed=12.355cpu=35.480gc=1.972factor=2.877zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V2%`&/bUd 7D:XpClQ4Q}>)˹Wַ]6^LR mwVȎRjS]/ƗVk=?¸lC֤e66(NN!M?g i{@loxk!qiګ- @vWe\\C!EƭH74:m%z:A]T;Xb8j2^ߎߡw]#1cMSԙy|yfJשsm`6=?,*!VٱgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]౱tw^W֢0F#)^ϥ↢GHkD6a&ㅗNï;khRR[vei{:+abuKZ|a*oҡxEsKٌ;  'h8˫zGϦ6Ξā8_!-`<|PW R*J^ & Dd/mGa9rBK{?q{1\`3 &5~HsKy17d6d m0Cv%#TΚH0"5 JBUN|y& pGn;VRM=P *G)OZ1w0L"auBt%@+QpPE:v#;'B%XgNY~fVDI<_Jy7ƾXM? ߢ9eR,,Ohز:wk*!PPN12 _v=4sMgYZ7zXZִF! ; =]ŗXi%;}™M<~-=?  |HhjP=Mp=&/~N7W.;o^`/.E%"چ:2뽂@51kJ@S.'_Zf&<[Hx7l4> fQnTʷyzE{T*Tk愇r')M7̰UAH\7/R7Y6Ɉ[OXnB*W [(!Bֻ*v+.,c@d0mXmɀ'/.{pۨʏ[BxU !䘮̛n@|<;Ùig0$eNMp K$O+R2{[ֻǁ'D jw|b2Dtgq|QnTϻʌ-׈ҋ=Tu7G$N°1~O׏*h: TLFo  OY;T`_ 9eS>T_ȌKe)2 Z}l%b|Jw=ϣo2Vݼ dQOD秎zʼnf4t) {Eh.&6S娪/tp]lKwqlN\P9S O} .@r?-¤b=%g֣(1#tt]gi(2 yzXrøp $B 4"j/]\4{S `^ok x5vycgYZb76d7977cad3b288b1d0644650f2843301ad5f5fac799521742c6a511fc6b752309e53d5f9492760 7d1e272668ac77c0cb149e8c1935fb9a1f4501b8b1b276db9f12baba0d22cbbec3137affdb33cda6  HOLCF