SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 c7 ,l ]/ Transitive-Closure-II:threads=4elapsed=12.408cpu=23.980gc=0.852factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyai_lH්a]`ax q#;KekQ?ƕ_rwOI2ZTB~ZMȗ.5A()'7n3I+Cz"4ꞒPIy"S"?Q/DיBfgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#"k; wH)s-,I/OiCuuRᔏKepDvDv.ѕJv#Y7I 1@Sjl߾^R}C3aabPvv#𳜭ˀ6|p :byTwP|o +/en[2 oHǔAz)Ö+-aL?ĒYs8\lʯgYZ7zXZִF! X]ŗXi%B)& ֟]C݌Yu A[ `"{xK!3 ^0'?40tq +B@zmlSGV؊h I+*\AVvn -P FUODڄu6I~ IwK dӵMґ @E7lQaWVsAYMM=3K\A_`Ye8HNL#{nikI׎R`"l;7~FЖ#u$mj@>w^nkp0p}Y-٬77#>ؘVUR+f]pnx.'a-N͒wKȁε+[Vukhюfn<ƨl22;d\3`F2(:mĚbQokfɊ5JbHps<hmt\{O\:ʅS63QS#Y64F̀qWqTܘ2bc*$R m*=p{R%国Ĉ.T!URߐbyͯN6dҧO#ToYu!x~VYwHR_ (xA_g 4{4J\X/m䶤!l~(Cf.%ZRgHX\ӑNrů 5So.YюbhO0; e>VB5A, w%M|/Cd'dcn!' /M<ƙ`R3s|^Ki/u=%ך(#m@2.T.I uZpL}j,v/UdRoյ_|;mx谓Cmܽ`hi+R5m#NRM &sY+mXNe[m؏5˥* +FF\[L |)]MeY[K"iA=X}naTkc R!1c?r'LWdYۜЬԾuru@յ=݅jPmsDZ#T;x0UXZoU 9NN)/D)~K}4-Ti+)yaxw,hbN 8F6Qkґ G=~LFXSpM9tm*Wy[BrY#umzW7mTX7ګouW ]kvI]@obf3&)W,j=fV~Jk܉{Ѱ=#}A *ќa 1YDo5fWdszzhރPXֹs~%?q&؎+N,PjIܿ!ToԨjMc|;շH fgYZ740b7185d753b301271526359f6d3bff6f0ec8c976b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 7 Transitive-Closure-II