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  3 D$ ]? EdmondsKarp_Maxflow:threads=8elapsed=58.069cpu=85.446gc=4.076factor=1.477zXZִF! 4]ŗXf[&/r`؛[ ϵ^T %eŒpbeP/=z+\q-.'uL&h{f 4G ma2Bx71H.-AlߋKzO^ S?̪n]y`f L<'1~5h%vY0"Oޏrim\w'}ȑ皌OԂ G$yD߆V !I2mv9x+hjo5 >Wk>X{AD8_RE!zٰXQdgp2qubo1ou`ڹ_=e$PKV,ziM I,%_\!YD̨V)bA _gX϶rKf*fU4e1S\,XY$V `Ngn̎g ZZ 󟢠‡3 @~ ećASt{؊qŏ_< p\re~(TEj 1Jslhpחq`-qz-W@>90-Jm9MLTGr]+ox;9Pp#>JB-%YdɛuUZ0 Қc I )躪D7j{)07.HZ– V\2FJ_35a͔ǎZbϨ+4ѧs1H8W2]u4!˓Hb,ݾY3>D 30nҏbLI ִ ^Ⱦ"07aijo{¼vIXH!1^X ]L1B:% & ~ޒj 4DYZ'M~x߹+ *nZy> Q|EvfWe~}_%7Lsٵ #S#$:*!nt E U)A5d5Ć.u+$V̂II!CG<(TdaR=i9WVo75pjetXStѢ(:ѡРYIaeϭ\r\M\ V^}h%07|,V\tpHs`Zù\ЅJZ;̩|6lips[YGjn#U-aWM"XH/W#hZB<4x[V-nƕQE9Ѻ^K3VCl>[(̒X@[y}AoQ geq{[sUbODZ7t$f\ZV́fZ-q_U~IJjTq̓a$ϗݼh1V)BC!׏ &v*_~SEޔZVdxzL-h|g0Kܢӧz5FEcʝ% 9VC+o)Y -D$!UUndH`|K- nI5 oG*y,p {EP0ޢ W7 f!iF t|v/xBfS"Kte չ]~ұ_Y;ib=F'Dbݵ-tE0KEBD!g_R'%zDp8HEXgڤqrGcO]EUjo%N97F\_1#KOq#x XxEjf8jͦZz|XSdi.llJX`,ofK2*=rXݜI;UvsK4E8yrTTnqe\~_ٶ5ARw;c[!?LG'bg/%DsTgII2d;*)&W~<sG><5>RX@Y4+ZzMl-`ӘN]j8 V|&ꀙ]?YD v 9): 6*|Ru#&45û~?}9 e c⧆l[ M+67khfu*Aw2x#ƜaSTzꛁXC;ES&ujAwn%%sPI8"e=L9}ZFvl9Ve\!zr$}*6XQlXFv.|^)w+f$1"\D`?,gN ըri*"R]LE~˫qܹL6V. ̓< wC\H|wMJ9 jYI 9zr>S/9[BPDQ N6鼌 *oL=#g/dP;؂8O5A[h#3/_NU@\.fQ3ՕNTՃ{)y+6<0BoVWgKXL,$ȼo{m%yeW~nJ67 .|2^\Q &ƒCOTLF.vG2kS\L%3;X|*R(.Cd*CK Bj2msq 7O"&Tm00ma K0 @)H{Vtٻ:f"?ؗHܛ{MZkq=t`ҧtǤ7{{MS.hQߴ!&^kťD Y.ikW2̾s$ QQ'C:mg.^#2eBBjp"AEa VhJ#)uwŒAcq{:ƸS{lH53^9}}.[YqV{ * O1\1?wE%][,6]1gVͳcLmM8 v׍iQ&c%hpR u]ƶL_x5VdN|fAy,5>NRG%"ՉC߈<vz wڬp1H_VʕFxF !-DC~8*'"m56)5̶ieyr9v$荣^;t?V|1dŭSKqTpHDjP&)k@?g IyZܜbspOT4><}{5gYZ3a112aeccccc349290c77cd2450832622241044ec58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 847552051a3a4a92063e64d41cec45217a8db3bd 929720e61c0f9cad99adbcdb1afb5a95adb9a1f6 1edfcab2115ef70ef89b87b72282ad56d18972e3 451952693d5cda3e3c1635a8e9458e265f7285af 1a32261bc0c3a16a92aeb57581caab4cf70b2fa7 b5f56ceb5ec9b2984d3cc69397643217e8ea2bf8 a17ed00037f09beb8b48a8269b45889a19f55080 6fc36c966716089d6135495b60291c3f22c5a847