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  j d4 ]S IOA-ABP:threads=2elapsed=5.809cpu=10.620gc=0.268factor=1.837zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09oacuj{է+ɱ &|yYOte@J7Q |Q(1E]ٴTJ/a<(HS"K&P_RY[hɋ G񤪗}awIlև7)i>-jbW /XgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgWPx=yLcK J~Y-!u)+rXtpϞjooCnBpwR"G垂 1UHpa +gYZ7zXZִF! ]ŗXi%9(Pψٛ39"ƚDY( U e(fƐ.z+u?XeI$UgAO(-!ҐPYI佌$rt5hT}P\٠v`&ֵr5Hzh|KܠT*B.+fUɏNȑT/4z^f^cy;CӭЈgQAR]U),29ePީx_ `Qƨ@Sgmno2&jQ|֣{oV-XVl$ڒ3di`iߘ< [v_#c/(cql}`+ցb)dM@l+B!_ZT KblT#_s|- S-LM4k2 E#zCQVa-?RM$x`MrJ,2R% '?&jex oi)x">ٮ>Vi}̅]@E eqMci̴:̋_FSMAH052"6qud+M$T%q&r35:WqSB;1M6ddF"&)/NtX2y7kgYZdc1d6fbecef69cc5e2cc18a614dcc878711087706f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a c431ebd364e6717156f55b567dd213da2fe866e3   IOA-ABP