SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 _7 \$$ ]/ Transitive-Closure-II:threads=2elapsed=14.129cpu=22.564gc=0.976factor=1.607zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hOՆܓG5Ǩ#CǯTQdR HمלvY_5 C7cØKP:4?:_"U;YiD.t`RPO\@Gֽ2bP<&&=goNW*mc7u0D#Is|H3zfT('Sǖ(u $wf3z z3Ǯ">eHM qFDSQiM4_Z*ʊ^^^81%1SH #k0q c4?](>U"OR:dm]D5gYZ7zXZִF!  ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\sU[9HoLz`ӑA{FkN k+[I -|Ө]нXd&nu 6) bT:BWpf?Kaъ{%Z*]hD*Qq8ѻpn,! bQl,E΍RL+?Z񢊷>ʛv*V0.s|'yR~DPw̹:|~Jb;{G[bޱgYZ7zXZִF! Q ]ŗXi%>g{oa \>>a6U+DsZ}֏NQS':x>5dYpyd#1)ɑM 7ԗ5B5}np~DZ~hd'jě/%ǟ#Dh{J{)ڑO?dZkV)]b|^fP`/e3N.BKct략S $ ˎr_mS.+I?ү]zqLwvixv:&p=Y/ѐI\VZə_3~4VWe7OU{[ud̕NWbHz9R@2V>f #JԴs -0Jnxv\8-`}$hF٦oJm7Gt=I(KMX틮!CEܓ`ط2B]7^ ʙ_"c h ~@>w`Q_M*5ɌޤXЁsp*&kC}מ'Wtɓ&^4W H:88R$ Xnl?@x4n8G'?#0Vfm!IDEp&p- 7/^-U|φܾ{lIr|Id0J۸D[!@Z^@ }Pj0|'ğz?%ƍ‚iVQԔͥ9a5Qj 0j| H_{v'n3>zY!E+=ick~e]=.7@JV8qQMh[ z}VX <O7̭RMlA2qK$G(t澝C3N>[fRN[Vd&u&$+Ve6{Zt6_Y>^fDg>Jw#tk-\J{mvGs(u9Njf1eͻB[|Mc7?5LjZǧ6 ^Ϻ*2! lHgYZ13a1dfb0debb8077b417ba3b65850bc86e8aa0fb665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 7 Transitive-Closure-II