SQLite format 3@ .;  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 bb7 T$$ ]/ Transitive-Closure-II:threads=4elapsed=12.458cpu=24.736gc=1.064factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyai_lH්a]`axK:+.K`1w5"an`aL\= Yzen]j!ʚfO2Wݚ|D2ZQA;@8@GUx:3IWjAΩgW!"VJ':zLLO`Mh7].ӲLǞnM94a0pk0"|e^(A1uPiyz 4ij]bHG΋<bd+n1aX:͡VÂ;M?z$ *gpں4^Jn`3}`$S jސa CQydL\=iٌrPpካӠeߡ'6\v9}d1@EN+|ȱ8)gYZ7zXZִF!  ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#;g1[ɓ~,X9eݾq#޸\˜T2_ Ӫd^dL!6g0,Z&Y46FǤ{E큍@=O3҇_f"+Еגեf=;@T1>gBƄ]>gԜ I4W4u1z;z%OSkX&!tSiq)XgYZ7zXZִF! X ]ŗXi%I o$HoѰn>>jy!]@gE0kh橖8R\zwm'g;T1}C4Q\krPbA,\.n?7WǪQ'J2U#gbmA#"CtcZuq{0u|TFI:I\ZsbvSQ?Pm8nU޸0"O _@(>܅mMcֶT`;A@n8dA 2pk{8C, 0ܽ+ ];xhƃ޺Y6kZj1h{Kw3y[}QxO9鵥PjJ,9eMĥhEd*wAYrq.xq1qBN3c<lJt)C 0ށD*fvL;肔 anWJE"kmȮ ݕZI7t[֏Zx>~UqӲ~W PAKYE}%yphh$n%u3x*2coh~R}1*S`YۑqUOIB+oH^f\Q/olf=ۂIFr3?KCF'>P>>ƿxEdS̘fHݤ0qf⎭I5OghiȜ)7; xWhBxc'چ K`^nW9[k|7} 2 utPNấm`(:7Rb,Oc^ƻx "z[o/*̳W׀8q:Y۬4 :9l& qe\oO; Q5"nnFgz2[gtʌEb^qB:p3gr>H@gT}д\%E`rf0ѻȃK$]q5+8™R@MVpeǓs\SBN{rJL e1QQah䘭$ű]3PJNxU)ЉY:a!.دs\>@ бuogYZd629bcfccc10ddda9a72c1faaa304da3366527765a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 7 Transitive-Closure-II