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   y1, 4 ]% Transitive-Closure:threads=4elapsed=2.798cpu=8.764gc=0.240factor=3.137zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L }qTJGN`ԉ2qBco?kY@P%Kxp;&6ŢKFTcI=,,q= $kisD㄀U+|iG;M`-G,e|¹X(G7)b7*.D蕄ۦ|hW5ϥHۈ_r(EGiR6LU@xzҝb OEgYZ7zXZִF! /]ŗXiɟReDH$ 3gE<|, s+ Q?xcsfGDLC先D9>oo?0xNknN;@-J b|{HiK,IJP$(V2Al2w09@!Y 4tZB'&vUZѓGVѱgYZ7zXZִF! $]ŗXi%H7ѫRu,'sKnEnm ``{ɘxgښM'U x[/ut:9TFv7sSB+{6ҵ& tT~UzfN42THgͭu8xn#zI a*f1!n >"D"(QM{\\U@ٳ &&} CX~dYYjNv@EĨI6t|LgA(%nEL7H 7[pШd?$/k5 1İM eߟvUL*M2z4zp߁O1Bߩ1<_MPuJH&dcRE_ `ouqv֕)MEp  < gGs!j.`T/#?_tԀ"8<L8跱]4 u+V\_!q* ՘}yW}Ӽ'wpkM@I6+;Ev3JM2.i14S޼my[grDz@L*cSȞ|8Z>3'0uhq\1'u'lt7&Y-}2ɰe.J4)F-mWh=ۦ@=4Ԡǫf؇XksҴ>*wr!S߹ZR2- P IV+`d?~HHXY$"gYZ7495bb13277bdef76aa394b88a0c4280c9a40036a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e a8a6289374072f4572bc2afad20c4d4eb32547df ed9f22f2a58f363eaebe925cf52d08569a0ed528 6157bb428a848a8c6da9d76c0ca756756b16ef24 1 Transitive-Closure