SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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< wS Old_Datatype_Show:threads=2elapsed=10.788cpu=12.528gc=0.364factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}ik8c4?@vblp-pvP. HzCh6sxfl ̥F4=]լ: }@d:V7-Q&97"ڣfb@(eǚ,wa-jT:*O DGؿJ+PƤ۾sH8^Z.Q܃?Z!G]{MÅ4 n|s KJI!R&R_@xbp״K@ϚֈEAuVw7 BѸQx]$AJe9;1b6횑wᐧ.P\=aT&C#ԷrMTNTݼwۄ@i罗g?sofiW+4Jq.eYDN7@@ r'`MeBݲC4wT'g͇:xiSdiOMc16yKO^ kA\ki9_}˴{=P)mI$-s+\1\(`GZ>Ȯ+;j!|:/ǔAt-4=<|,.2; =ir{hJ~.tFl_'2!@H o;/{ Ipg ƙ^w]'QrGe OoɉxrQ01e9Yh`o Mfb'wMfgYZ1bb1a5dd4dab8449a1af7759e593cdcf3d7f6e1a 44005cb44697f00431d105aac4daa27fef707e9a 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d e0b1bb2a52263c4c52e1ff5e501cf30926a0c8b7238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 adbd27c7e0f9b47a502685ba96e03ee54472529b / Old_Datatype_Show