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   o D\l ] HOLCF-IMP:threads=2elapsed=7.316cpu=13.640gc=0.676factor=1.867zXZִF! Y]ŗXf1-q恈N|5` 6IAR}B\򍂵; 'ldAukK;3>nBGSO:k{q0xMݱ"a/}[^^F,= :[LSzBL0i~Ƴ!_Ung1܎_Ɲ$!ZugTV} Y?'!tf٭cb bE9` [&l^Ś?A/,5]/9g]s)M' ? f[ኊ{6*PGv &R]&wa t(frᡉgYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{M>S7M=-:Y'}S.[ur"Z?)o޽"ng|g 6 "{L><5cZ/"F23.!mvD js]nG3^gYZ7zXZִF! *,.]ŗXi%9*WڭE>rmt\jR|ϏQj[ ȗ+:G_fоr}ӗ*ť&\zhԶ $ GCtJl{ YP:١| -}\z80QB~v S?,[$>OagN)V~cw$Mb8c6DK>KlQfElTlwuh?`ƍѶT[h4Hʃ^YYVzD^= B媐5HDYt!'@&;9&֖K8,m+G*^jWbh|\sT[(gYZ09ed83c3e67f053252ec940f45f1284662d5b73db5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 7b39dc942c0d4779ec4458b7e66d3d6dc451b4e0   HOLCF-IMP