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  X X%#4\ ]S HOLCF-FOCUS:threads=2elapsed=4.485cpu=8.696gc=0.232factor=1.947zXZִF! ]ŗXf1-qNezGh)=|"*AvHUYMlZI֠aIh ]!**G2h8egYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= :C;zvQ oX"@qnG=vUEgn}Ǐj%{rT9o1Cy -JvWXUQQ9Ɔ̵fxߧ79)gYZ7zXZִF! Mg]ŗXi%9(PK[QT=Ԉ;QjaQXo-! R}0fHAem%+S7|J >F|~hO͌A]{²O\9ce_AuC]si%gHO׶?\vk6j/1ŎGl%ͳInY+Aޫ4ŅaKGsg&r"QU^Nh_ޓM;OBV4ccTVE e;=ޞ_2GOκ*D]T"QfCj1Woxl@2]50s8r欺4F{&-cn&ttVs'\tfم ݇9aE'ڢ!n7 aذ-BĄ )o\Gh+'wfE+`p4@b'l r0`%L-YMP[en ^L_-:v7!V)< O_~+3hpTZ`#qJP%n}H)BvyYpvOzuĮ?ԗϣ:Y5}}&S)m=W{v=x{5={.7gYZ75f9c3c51092c8262115deb5aefd27e4a3e72bd4f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 2529148cb00af14d06702c18665dd405f71110ec 2c9c75a2a901b51a1c2373b89cc0cad5f0265a13 # HOLCF-FOCUS