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   Y3 l ]? EdmondsKarp_Maxflow:threads=2elapsed=68.931cpu=92.016gc=4.008factor=1.337zXZִF! 7M]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/ V*r}\ǑY@H1k}U vO^i&cUd EҦ66:8al Z+q*}?%(# Xjfw* ڥ]@CNi0MRޠt+#r^UѱTvrnQ"~s<{`nAQx3f5=綩>p0qi@ILܱ5Ӷ?A{m.+j܂3 Q:EWyҒKfpG>(nfB-ɒ&f,ߟ?,(ot`VY.Kk\7'.q =q-BZX;iE)͘rN\6o*/6Gn l>^?K.ɉɄ$.̒rIoF[v&x;X6<|7rbmkj Bj\'P'`Ps@UקхWy:Z>ӥwۀ'뮺% 0#S0&D(f2wz&Ͷh+;ɶXL 6Q[0'*ڻzB$x#fhΩ UW6kB6PX\y2wO$>!zyvY=rHF )1qSB Qf.Nݩ/|,ZiisC>,kG|ᜄjP`d?ByLQ6)Yy!𑆬{BQT|mIuc-!vi;5@7l^HD#JFhW)}4p S-$ *.A2|Tɕbv> E]L  nsdgYZ7zXZִF! ]ŗXiɟjUWOŸAzxR:j> 3 EdmondsKarp_Maxflow  g ZZ 󟢠đq1Q+^&q* \Jn&Ur;뚺?YNyYTҵq3.ݭ"4~Fi8MKli)(ϭXi*fE]oW6~Stӻez-]V_ATuw3? 4,Im$JGt0!2I+NJ{gYZ7zXZִF! X ]ŗXi%>gb^SG O/P>/w=1ǔ1Cñ;O(G'ܫ8!U5L եGcEYgg%ZK*ژ ᩢ2o@CiζPF]`AݺL$\Kq?Jbsn?,?ZN'[ ElH*2i1v& hkh I`_7GBKu&W+-&[${49y2iR'nH7)ele[+8#F9al';7muE-RگJdàN2%ףo$Jg'! Fo>O$ޢZIK@5GcB}DF; I/^~Q2dK#"/SiEAs Qr< #rX `KO8`[C5'sŋF!+|:Qeꗩ&:4\1(.eSrDd1~U C.VY}$'h֠n4Syd5FD饰.o8t_*Lgn{~ECzcby+b`SM?m!JLINAPDp)nKXVgdžoa@:f,ȱ_y/Ko&& 40IdCs-\(M*c.`FC[2MQ+enHt> XR|gH]Ju(L9?ǜ7 I աg-# ύ9 &3 9B~p7OW}2,@)Kr|_O(y 7YBGCi/}zC&!\2}0o|[O8{ ЀN-\\ax\-5Ҍ5=/sMudybbupf#ap 5&͐* w&-DLp6P!ueY_0ઁYj]p!Oڞ Vh$~},p743+_ꬑ q+ϷжxFsI+͹5=a~z:jj/ >#։NC/q^J&~"@|xm0\=We;s,͠=i m"3#*$ߥj( = zYXoqC#w:,q 0Ťg pM̡פrL)F_A< \qѤaBTGϹ ڛ?6g}38P7P|妸w+N*TĮ0`(ZQEiX@E&؇BsX,agt0{tzք>Mކ*)da.).4( H>!RӾ-#ŃqF~A$Z|ӲaĻOnUKJdmq&< 4җ e_i@=Jנq'qC8,Y҅h}'m_P߂t6f:f+.Éպ|Nc)LaIS:WˢP b)gԫxLŶ f'Z+y@F nUV\#e- /Ak<(1r烡dbK[Q2V0UOpXxaDd10bƩ7@wh3!i1k*7Led)jĘFf}@k(PYh](PQWW6OA{m[~UzyTtGG;Rk S4" {VqyVx ue۠ZJhfևU9*a%v^oL]%J$L2 Է NZܡўPs1ں95=Gku+`~Rmm≕F1}Qp?%eK+cQ _Lu-S(8hA:@7}KxHSXlFZy  udv7zu+mCw4X&HX,`"+Ë N!f;6ű:>]OdL˖Cn] ms Ia3;@۹ ۡԢg|{B*:ި@z\h6ONjsktʩF!9C|l=ĵSCȍڟzz[Z"ȯlLv 1+t1{[)a)#yTg|>O">l@!E3JrYNi R;1{dBli-0+Ӭ.W {*lAŀȇm>  .+iLa