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  h h 3 $4 ]? EdmondsKarp_Maxflow:threads=2elapsed=68.432cpu=91.936gc=3.872factor=1.347zXZִF! 8 ]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/.zDUZ Cw[)xvmENTwj4Z7!/+QCQcx@t +3EVOdPKqtIGyX;B-"^-] ;bϪ6 TjiqF]<Ų-=T}sh%yEb5 dᑞʭ%'N:=/7 .xeJ͋M_4dDDO֙&dFk&cxWyτ`lys4 zy}6Gȕ?_#IW */@v0VGʬV.w ̙[֝ EʕAP[s*˰Z#LޯGXp4xŽG{V2gaQC#i$عƲeq1?t+9sGzI TNFixl֖_xLVtڎ6t+6 8:ڿ۸jkh<:\`Yl聧@s{ip.ʧDȯ@ Nzqe6Kmv~"Ѐ=rRcCIeD8Anj,Ѓ"3r@`yuQ5!OotNP+kKf}FCr#R0&+ @W|b#b3 5 w؟&'YoiM8N$%}|п>m=Yy0֧2 Ћӂ~t`s*u<_kSdGv:TOqeP.CR16@/B3o[H-z RpZ;K jHzJILL|ItS,/. iztv{rv1=4&O#(abIZ?y]P~4eiՎ0(یag ZZ 󟢠 TjҒsPO~V^#6nFz '/q-w)90]CeFkbpW]a5tƟjx#'⢊ 4l !Jorןt>_(")$jy:1Anخj<IE8']"[O^>:=~?*gYZ7zXZִF! Q ]ŗXi%;3-@FWv;[~B9ͫdlJbVV5%5% \"ſ#aM^o}_Sz8ebn~kP;qϐkc̼_zzo찻񼲥}.q ~lp1},נ<+wTeQ@U]$P(xJH.汾")9Ƚo␃XMD( 4C jX*̲L"Įߕ4](3;r ^ 4i/_tbd_B8B0/Gyr=IBhF`L7aܲHʃC1Ч+eŌ %pb339ߣPahS dxR ,Fv`td!*')!I$ȩܭ2M]4Zv"ʴ01jA*{o._^+⚕u';;^cţ1qpiXX/3E ?,%ة ^6>lzG-DlzVcYlKL>_@bJPprȻ `i껭w@d0\AFsb sྑAk(.c=PNU퓷!p; }ϱUO׺u .d;f=hKSД{>w<fX轃#D@L֋K}etƢkLxΛ'`i-ptk[*-Cㄴugwm !R>QM%P@ݷ A~|]Z߇Wf'Uu\l9;B6;ji Dިu2-S͆ꙓge_W.C⇮ *Ԗ37HO3YGa}8ٹ>,VĘPu~/g'>AS0 iB&c10h5a0+Ќ!YP gG#O5R0i{]KI0! f+1q2!QTCx[ۚ"0rTۈQIr1 QmtTLx;xg]r @Gԉ7l_'߮ 9 Ps9r<45#UAr? W|YHҊv:rWWTKq%JÈJXܳ(lڦ8O޼"#ݜ%c6wEdvK wI۷tl'ȳ؀jl_9=(|L> {&CQpӊS7#юlhi>n%m)ЍvB)a9x,^/<.` Z.7o lCmg2F`TtM3'rI–\,pzؐ6)b.rۆ.emÓc/_ĹQamV+8 anPG("o]DJ [<3y5=4@@ vocO"ųF45A?UW~y/-ÁSQE Sj~4LmڅOdS&.s6qm*a9͵_LvS$PT E'KގDv-aL&X6"8YBxk4'&l»`9/f/_*TœR΁T2dk`;fO4)\}oFir'~4o OE? <ܩL,zǒ:r}b?Ejm",ֶWz2v[>_ 3<eF~EfO>;'q7y[)x~L1nv UϱgYZe92a84885ac00f7e973fbed96a3362f4a33112ef665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8224ce1eb95b7c9d3c0729d27185b853d3e80e88 d4ab5babf967a88f8233a72a7b7ac40b5e7805a0 35eeb98ddb24bd19e8b3360c7e2244b48572f1e9 0153f3ca08a7d02a69518a26eff043c2a774d3f1 a168d9315274ec6fdf63fe63da14e0604f225a92 07fb138b1feb592418a1311666321c4925db50dd 6645f06ed78690740e77f37d9796fb14247d0087 a210485e6a064d0971b239ed789aed1bbbe19317