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 CC: T4 m HyperCTL:threads=2elapsed=16.952cpu=29.564gc=1.540factor=1.747zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѵF7!bh~xlՁu^qA,)ug`\yDkFD=KIiF'd EZ_"AWeyBuzhHz*J1#h+z|]55z'P6vx-{?4hpPmNOs` NƎ&)/GgYZ7zXZִF! Y[]ŗXi%6uT,71AКK16gvf)GW{lXM숝&6@Ż/fpEmD{?DaZXka2t^eM0jMH}BD|hU O E??%̲O\jCM g#*Xwe.uz몛Xj~+:<-*IJe ko^ r0?٠SKj L4&96+9ВҮ?ͅ$g6"+D+d\&CdH;RNq7QE`d԰z3vc?K\.j2àB-N+"1ZXm.ačV(Jk'j!KJX}Eo1 '`C@V?Nd;⛝w!OJ1iLAo0@@[Ɨ"R$dy`&>>Izg>4[g1Ҍ'*iwi¥ub/Vݴ9Xe {&)6~ TI- B-d.kv/$h%9RADZ 8tFl )tyS{j|m`*hʙw}P5o(:A$f{ kW~xJM7!Ey;1? :`T,@p ђ'wg&N >Q P3W/Vۤgl|C@@*:d{룂?VǭN]?D(OCˌ!P,0(2#$Lb+F?bxEO~$Yz?##KW8lo̤]=KZlh+{y4Vѯh0[Vwu kSUvo]׎`_@OBl8SG̀Y"#`!,%;B5{b'@ ܲgYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243ae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b   HyperCTL