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 p7 | / Transitive-Closure-II:threads=2elapsed=14.849cpu=23.656gc=0.952factor=1.597zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" b2i7Q/HbDƧg;Gd0#~5\ -(aps?O,y$MƆ4ʼT>aNN._p;m%|)nc`_uСk$k WǑ{ ћKK?kpB,8 ѡ.B#* o*m^*5F8EÄ5IFL:e"ngxVQnaiayQ\ w\2}Rio<^ ƕF*_'` ̳Eҽ놀*7k6] {5_طo\]֙$5A%vVlq^)Z'E YnpǷw߫zunpѶlQQ1&]$>F 4cC=cYM@[# ZOw>`9K?LJ A6J_+豋{DstƘSv5Ad9%:3}y|RC&nO"^,e"`ƼRt/ *@+\arRV6PL ^slhAlJ)@%Fۺ˽j(cj㥊xYl W$nW\Ξy QB81f] E\ҚnrO8uL.urBo iʒhxl_-=BWPmCۍv@=uqd| DC D,w!μxk}}9([)s$AŃI\lXV/Udq4ɕ AwjjD2;m%P4OjLȫBGwN_| r *p8w ".5Ie#(@&(yMG?wVQ$,lk*'~s֚yԷJ@}oI bl.mjo +v}WI3eml 1!gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d73e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 7 Transitive-Closure-II