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 }}/ ld| ]S HOL-Isar_Examples:threads=2elapsed=5.789cpu=10.776gc=0.824factor=1.867zXZִF! .-]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9Wz( ,~(UVBk!(/V?D`.5Ћ>`򳯁&P([%oOKDN[J-[2=?pM\NgY?L}csH+X:svT /S{~T_5ɻ/@ὠb,I+Op &uJ@AC} l_~F`;Lm& DD헱gYZ7zXZִF! i]ŗXiɟ1GBSp26llȄ)sSd#a$^SBnHuׇ<OIDKF@O~KMۑΞ[01 dr/z@'x QD%#R q~(/ν@tK(M]_ƽyquQF45ďq+m4t`eVvDv0ܛ)H\m%]\HK5DRVI&[_M)-Xz ̰abrNY*:@|EY!X6LkY2tXfl%@<)O*SF~%n:AM(_$ eͱgYZ7zXZִF! ,]ŗXi%96BҨ޼%H({Zb7֒\%ٻ241 xuԣ<]:_aP{Un=+Q@axװբXd)86}tKNzOιx_J53=r#8Rt I9 `&y`PʙvsI|,¨]RФ֓YUFyk^ +kp1*:ܡb) Ln{srZ/z3Q^UP.]RY9엍9 4ǴW[ y9+#ng _? +xZN&dF*XGc1N|Թ)G_|iy]/ʮ50U%+:0GKW3(o~Pc&"S&-~$َ j,Wp(ѳ^VF,}ҫٮ[ºH gEh?])}KĐ ]} $pTԖ(!7žj| -\ ?%yʜw&@5N7$wM |A '3 0ybWoz t  "6骝