SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #DD %S IOA-Storage:threads=2elapsed=1.823cpu=2.704gc=0.000factor=1.487zXZִF! N]ŗXf1-qN50^\z(Q^ bA]0|["> Cz-4}΁RHHFaKc=1ӻpNI) # IOA-StorageJO87/s4Q){z͡~ѽ'f[~Jդ/e -Tx9 ] ~+Oȁ^q(x8Ą\e7I#9Nm;F=fr%骢?=04})CeX(!"ױgYZ7zXZִF! p]ŗXi%B) bXd=,J:H7ɜDet-9fk(׻l7!εe[j3Tc7Z-vxLvuGqwƳtnQsr-)WDB? l,5w'>ͮ#r?'Q eG'꫈G+/VlP`p,,>&%kzϕ,Z?tz }b⛱uq6c&? (" uWamfD*NiѐvàruxB/j%ZT~B:e%'Ӓ+*o !zڳ񜶴ŀgP.ӲD cvBykPܓS` ?$.\+˂gYZ1c621daf073290d4954797d14376b4be87fe39a0 40a9ccea56ff4483ed7f63b7ea1e940df2867481 54cf1d1347f9fef8508c44b2aa52c813c5522952 79c35c2aabb290308d162d834860f07aad430154 e264a2192e243c595ee3c4e5e1a5cc34285afdaa0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386 2d0e3f70468dce97a0ad58472904bfc293db1155