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 d/ td< ]S HOL-Isar_Examples:threads=2elapsed=5.574cpu=10.132gc=0.528factor=1.827zXZִF! 4]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9Wz( ,~(UVBk!(/V?B)**Z@4yH!*e+;ip-9BTgw-I%-pCtQ75:dKLZh+55:LK,:ByA֮dX`3pbl??F 45Wa6) 5PU>J9m۬r .s* UűgYZ7zXZִF! k]ŗXiɟ1GBSp26llȄ)sSd#a$^R:=gT7#O٭d5ջr.Y,꘸ uhLKKI0=Q1:znGG^er+QdSS70KNj,(mWzE꺒cD7?0ijʫxg[tM؞)P +8 F1/YE }K2QS;aewׄ r1p駧i"s=mdS7Bz7MmvNDXZa\oeՖj M.+t PgYZ7zXZִF! ']ŗXi%9(PψCQ=*^ИWcH  U22&x1u/c;Π5jsza>zgk%qd5L@_4Md!ohNʋ4_+G^vIi|%f`\xtzsǴ\BcSD/AلQkT7mȿT@@kھ! FArr258%TECu^?EbgGFj"W]{B0eJ^IQ*;hhhGzHE<e",hG ܭ$1ʜ}~ϿLkt&PDFw-4կۨ KGi>짇rBM;qFuD[BHLp *ѰY!Q&ʭ[`R [] fPx.^)q+~nX8/1 |x5Fe![ 1Ar !Ti(Q2gƧ욅|;Dz#9Ds!(}bR㷩im1էcr@N%'@FڇNY*r It-f|̌">fb2)UΗu7jz0b',ٙ/qʃD%_+0peN+wz*JWD|̉mḴ=O]MgYZ9873e32d0aed8e74635d8e5f2428d75dc1af54e36f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 17865e4fa9f9d73f01acd06a0dd05a886d394435 / HOL-Isar_Examples