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 yy7 t< / Transitive-Closure-II:threads=2elapsed=13.013cpu=22.576gc=0.844factor=1.737zXZִF! :-1]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++#ZM?$;WS/{?+A&^L' M(~67\Z 9H\_K^кov6F9wi4%urBNo!c؈MrlHOM&i|QPBPf b'nb:@۾EW2<yv6/>!KDmE8oW%ժӯrc;H7wEIc4:Lʊs\?>YKyA r9 .]`>pkLTvn3Y-Ln8e}פ]@,cGU\,|2ӻr(Bˈ}JS$2 gd"tfluqhp^A 2ߖ*C NLEfeyd7] Xy ^@.6w6de)Blr lJ*ܫM 7%jæ θ窖h)zWd}Yfي4Z\d<,Š ),"R2n;"eZCe'A%?d>Z'`.F~9wx BY@|׸f.Lt~4}_[Щ?Q&Xvсnhz>UMNxO wK&ncj,sŨ n' toڱgYZ7zXZִF! CU]ŗXi%s 4OHbps캅w=?5WBҿV Uz6L2iNO4AmgͰP5Y;$W0rD~g'%|OG# I'hbU @5ij_ԝ ]>r|\~| GETӔ}amqKע&ϵ @Lđo ;?}i`IQPI[ Ч\ ͗PF9?c#1)ưr[lJ2JtW%_+b7GAx'+̑6z 2g;f23sW1;'AW 6Y:.$\Pewmh{*^|qÍf9}Wcb2-MhAy|9'd\W:rPXX*Mk! 4,$^jˇz{t=۱܇|D[j[]ApdQV/ET.íE"L JDUoJ?у"۰)u׃Z\앴:B}[| !ԥLiT,_L,DPp_Eb^7Wfr!gϷaByl8͝Uh)ȓ#^wam=0mP\x&VQrX#i8 . {`Dޒ@s =3n~4;G>gyeM"*4N-Ƒop3gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d739711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7 Transitive-Closure-II