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 II47  / Transitive-Closure-II:threads=2elapsed=13.534cpu=22.692gc=0.868factor=1.687zXZִF! :;]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*ul@'ԐR?лNh%úWi6ZKbME]VrL:!~p8eLb0s֣05LT~ thZ-M/<J 5ِj(D-6 3! 1swЀ.1GMj֏{Wҭ x"`KyGKYB4,2c?ipPu9}Xg I=, O5` #c2 VMcѐU?kJA 6@ҏ\ŘGя)j \G6١ݹ*zr3حi!W$Cgu.r6أL0 |Q}{ GQnE ~}r{Ygj 8Li>ck'{OZʿAϛ 0A4(4W>vJg0]!W/ @~j Rs$7`͵8Tej N"].E 9n8JE֧׃1H ?bKd:+QTr@yU~1emec=_qWX=vRjmoJ/Q28eҲxDw_~Zȱ떠ނƕPҁJxQn u}/gYZ7zXZִF! H}]ŗXi% c㔙Uz0C8RNy|fZhl%,3Xڴ_C7*xcVR #ߑ4^ G\꯼,5I7sho6ÊAt=pއ WT (qE.n9,SYR0 $%#T YRjLUM#ٯ)+&+&q^_Ȕ`."VfS1`ybP 4mG1`k+cSYk";:uԶs?` A뤾|hy6N4hUI4Hަ5wTpPýUiG%6gVbëu ٬ҙؑUC-ƕuH) =^g3FSON0h#_A&H`SQp䞁>\NshwAzMY(4`Z07l{hV b>;!V~ܷ$BRɭJPѰYbۖO@IJRl>Z~kQG вԩLq}_id4Ukے1}KȜԗ?:˴&ia|$l%"}^:u<M@F~; d+'&mjuQ8TQi7 |0'~z#qT(:K4ONPii` CNx_c%, ,mvuh9bڥ%ӑ|!w76+ XeͫyNpH(5 }$b|o)> Yoɲ#V1j4cϧ> xTygYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d739711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 7 Transitive-Closure-II