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  B B; TL ] HOLCF-IMP:threads=2elapsed=5.862cpu=10.684gc=0.428factor=1.827zXZִF! <]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSuI* ]p79'i-.c]~-CtA0Db<: ʆ5s෻( NB\A~Z.~а(~\֤tQN\+Mlnrq!-BoMZ(`mo<.xً&C;[j /^|H{F s/bt!I;B A5,,0,FgA[CCxP)jzLځ{-1UGH~ r.5;x gYZ7zXZִF! ]ŗXiɟ1,plnQBmjsz.`KW]TH?r;e4Gg\l N8gH5]jft u+ogYZ7zXZִF! *6]ŗXi%;iFuu6zk6iՓ HÕá:ӌe *Nd_P,' SXdƹImA5nrQֳe`ט?2;n)3M~-˴} (跖/(*>JB6%~D4XUzX yMo3NjZ>Wc" {FOs&;n݃LUo#&H.d%M}8 UP w,|CƝqrK :tk{;JFPww>bjLp5}u>t Ӿx}qG Te|B=x ݤQ&s@,e.$ȗ<-'iP@py~ĹBzƂ iooJ-2ׯmV- ʸx5{=cާ+f]›K?C/뵶ЮHZ4 N5m8aG̖Z4Hv #gA q~~ \e?)/G!O&6?P4AV1W{Jw]3W3ճ 2Qh e4{WYG 6B <&NB$cxKv& (8ޏ7XʹXo.60#;?IĒ  A HN1*j5v{=eh')Ad$("{ fO"H:R,_ VXGvpٲiw+l[2K,gHT!TgYZb3a60cce97d10b2280f85c0e52e267d7b689661eb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e7487039f362c8706b20da1ff0ba6f1fd3bbaee6   HOLCF-IMP