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 k lV}98#y ̙xpAHM-}=*+m=UB7)|G8'uMut&/t8/J9lj;~9йsfhkzjSnv5lD@ũqE֋?1@*s+mACxH$bD#Ғl%ѮB=N%puJx[ \'(zp^NsKF1`-4\8a9es7(YF$b踷^mUn.Xb]k')EHg9ewѮ 0T]t*CMD @1Ȗ*o;O39{H̲rPe\%Dphq)TORo=G#Hٵ`Z&4#Pua?{mm ў86'*4-x0cӇɇ9S2]ʂc"hhJȸ, OHO-X%Tɰa!4ۉKz)"~`}@+搙CJq{iEٮapW*@viBb 8ߎp+TVVS!l%<=8UQQ3E30 G=%q8QЅeBv<ɿCuiInq_ꈮi6>6VCYrIr ?3As;Ҫ%77?QGeCiD*3rҥ3B&ןxw~ nh~ߏ\3JOr;] әs٤4S6MFg%?g+;(dNhʁﴉ{`zX#F3wT*9uR/V҈f*9YUeՒ 0m/W-g`NlbuodJTi⊷A,DM>T\ r[ /"&hTH56e q(9ěm}Ƈ#ODJ!1" II_fp-zrZMj_]bqILwڼBUf@Xf|fԋj<0ңIJ+a\zOA[ph@hFd L]dBP[ F-BZ˓J5Z,~5<4usuțF2kVZk^QvˁgYZ8a42366e3f755cd5eb00d7c25d99eb2f87aa202351fdd790dd5bb3b33bbac5928fced7476c30aa1d 6493d4a1efdc7dd2fb0543b9cd81fe24dcd625bd99ebdf69414a5e365127f42b3fdee03f6b565eb5  HOLCF