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   y1D ]% Transitive-Closure:threads=4elapsed=2.790cpu=8.612gc=0.244factor=3.097zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L | p.H*_1Z(&;6ogٗy+Vf;PhNr^bJa(E[h +UPUmd5rwxXy0AD/fNdȸa0Bte:Yj~}ٵةC tfC(hA O=rZ;{kWq(/kgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= -j[%5aN">nNʀb|5\i/䖢=t'&QddSr(Ptk\W PZ5ْցH]\]F:l\qzf0&j i ͫ TI{Nm C|ѵ&gYZ7zXZִF! $]ŗXi%G̉S~2]!"Q`vÅIne=HV;1/ӪzGO aF'x@X5۰!JN8%Z-AALh+^e>;|eZk?5Y}aiZ񀚽ԡ7k\'s]n8I}`Qz4UvzEՎ p^HAЏ=0 (uY=4h$ew^v+ᗠ+'q0ۯJ5Vz'sr}扚&=V_DXVl"-:Tt%q ہ 4p 6H+DhI<ROG///l@l7hNBGO2?D+W\Ac @M°JVXn  <+1 t6~j6T>4Nڧ?syx/_CTbW/iqxȩcVѯ2|w2Ώ2K 9nЏ h\R:u,Tzpt3!_ho7 pd_h&CyN=߫i`dK-ӉXDRs Đ؇JС^xma`W$lolTU"C ƥ eK 'S@cZаxL`7 Rt R 2@&83 ]H.YԺuig F=ymaHtgYZ07bf4aff18d782a0316fdc95fed6812f8ae910fa78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 388404ca9f9d9a44acefae5395149c5a7edcde3c 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c 749960aee6aa2f60467f1ed97969bc17fb49410d 1 Transitive-Closure