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   \d ] HOLCF-IMP:threads=2elapsed=6.956cpu=12.576gc=0.668factor=1.817zXZִF! z]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHS{ '6;-Vzw>uݢTMH heʲ"B o(zX=%%o C{EKq9敝?sGG&Nt֗52!}؋۰MIM(u*u'#j#Qnۡ7h`$iϸd̬p҈Ià ?ΝXߺFA bvqQ{p`ܒ㞃%FmFxw9F{)5-=8OMJVGmTP\`ʱ\nɫPk±gYZ7zXZִF! ]ŗXiɟ1,plnQBmjsz٭Yi?$  蕴onVX=4oSJL{.cOFok9C]^Iʥ{t@HT֊M"k痒Mfd !IiIśDLؾCPnG3^gYZ7zXZִF! .*]ŗXi%96U\ cPXj&Vvn3/ 2~,j`򄢪Ol-IG&G&czkP+%߽qr?4^gp(ض!-qVn(0KbYNg樻" @ObCNQwV3\y)1㱭8ֵKF / ٌC[Py>#T=YҥOˢvrE{ƺ. =NPe,q'q0py|Z,8jVѼhQU$0Qܕ @CYR{~5b ss 5(F _Jʭ F$q뼠ԕ1c*Ŧnw6Č3I҂3ū&A׌g L(([X#Evpkl4I;"c_}qoi2GTX:*{h*qryQDicԲ8] gYZ4bcfb781d39c1bd4dc4afdf24de3763d1878968fe42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 716a86216331055199244637288ec1c6c116ecbb   HOLCF-IMP