SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ,,l ]/]HOLCF:threads=6elapsed=12.903cpu=41.440gc=2.908factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ}8HbVDZDu }/ۇ/4vqT5bOKY0Sz,U3]xxX9P2o?4E۰(yb78\XAk̀nI+o4ڣ9/߯n*bq+4Ln5F@tsZ0Ն,A)*yEY(S!b7UJ#dexcY^8r*Q`qO\'!gYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]mOai`1#e'/M./$'e'-;1߀` Vwjg7$CW3;/BqV?rHD Y5FwWdrפAj+/qPc]d^WR j*=C 9ԷiMFD}I8ݩѲCq.:bi #+\Idl0}=LncGͺQYEDC傪c{Tl[ׅ\ݍ1_IÁdn;4Y&G${gp`mY>ZSdv " SO4|2;+%pRcxQȐm.:bKoX3b܈aDPPDZ:Ε%4,j5_^!ptY5nYFo+jϱC</!@1EalC [W&gB@9*w@dF57qMVcǾ oAd?P:;a֦Ӱc#M!/LzA5 48-e{] a'iNRЉS/k"?I&/#Oҋҁm0`**.dBJZR&GТy؍I+=w3ts/ na`zBY'86*4>0 ] Mף [ƒW4%*\.Z!_3Svn\rPFM>И#}TbvK֛AǦ tt29AM6ޒ-^y)e^+1$s ZO=F!$9?)@HJ[<XV-lOn ɑ4ޱgYZ2737481dadadb3c8f0b39365fe48a4df1e5e3641355a64804e6eca100d64dad0e9de71f136466619 88c162adb4f7b537afea371994c77b7a87e6cf9830d39db97666918408fb19572f86b70a713b6e20  HOLCF