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  s s  t ]/ ZF-AC:threads=2elapsed=6.195cpu=10.404gc=0.508factor=1.687zXZִF! ]ŗXf1-W'S)b-LWtƺ}*֊GzG'D+gvp4iI٥a<~>y_dųQ ğ$Dyet *FpnU6$rpXHve< V k@zrK cӠ&x7kQ OܜK+/!ABIbË*W ɥ  i gYZ7zXZִF! ]ŗXiɟ98c tؠL\bqV,ͽbsU@ 3 ~ZOZZDq^M6Ysv$W1™?S^L62&QA 7%u4 Ҕ đc}DN⤇6BŸ'J$#;1jQ1Fhg%b &VpB+fVhG-*&ۄգvDb%;mTagYZ7zXZִF! ']ŗXi%9(R ςf=(Ïszؠ Aq2zȋlaP53 I7,HHD![ ț]y>x#ump+=g\)"Kj!#`: orD?[˙}6]-3<ŴrWmyF)nT];|`υD$Yqu# xҺjuѳIPō;etpC&8g"cTT)*LVQbل6+:~3O, ]:.=Y̭ܵ6 r6[T5cny0;c@BtmWuS,` `mIa[_m[ 9eMل>+$̒,h +kEkOcF&u\HĐ8*;jwoy]"`Y7AMD? _0V6|;TS)-j15%ӊ.}e=8nR/}60Ψ 3csDbF߄+z ^NJ `V\0Q'S3! U.zѶ,!?Xvpb&l Is\oB[!w*i\yo#<ªx\vhl9pKJ]nY,6 Î~y!kmdX`ԣeK CܩrE^eqO} ugYZ91b4627ddf0971d1654cdc776d3b22c2f1489472f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 702c52886cabcc5c45cde277e6070ed95fa786e5  ZF-AC