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  U3 T ]? EdmondsKarp_Maxflow:threads=2elapsed=72.476cpu=96.632gc=4.016factor=1.337zXZִF! 8-]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/ V*r}\ǑYs=dJfCKhЪb=g ZZ 󟢠1hZkssVX*N`hAN/cXaUϷ}oYq8tt~ZK6P^oۘ 3 EdmondsKarp_Maxflow  ZnGkh[ͽaz (MaP]w]B(WF' n&lwXsq}=.n8yd"eR'HM8 RyN{Ϫ%UR\֚F_gYZ7zXZִF! gh b]ŗXi%>gGwr\QS޿2SzH( m#Nzi1$zrN[-bjƨ0q4+hD_+UvyN|~R\l.CdL0/h1=M-Pw""wr,D$!@ <q9')]NʟI`ϸIEn`欌H- } 8v2cj9|%=\F)uRgkr|b01J+BibQ7cJU*7k כ[r6^!#sǍ/k*P NEz;U!gs=,r6΄RW+?pfz+S'!AMd))Ʒ$b!$>XBy _ODGr拤She16Clܒ{bVmVjW@38:ӂQm9A,8&yuKuܴ z~IC<CZat(! Z7~l۫ؼ}XF!+BBl` 25W"dsHXB.G>'6Kl\@KzBF hI$MPzQC^S*I[$y_9~qY*?b/Q&ܑG Ӟndo> 5.;:. m"o[$ʟ((QcZ& JP]Q} Fl2o֌V=S44Lz`KE"!TcGͤ(ᙀP2jxNfKpIdrwi/!O~>m0­zbjxUE}Ƥ +lf>6t&ODZ..d0z"Rts ձa,"jYϚ(uc-!@~!̑"pguQ͂])S:FEb07:s"G!V݁A}Ḍׂ!SCBA =jM2q/bM4&tX2Eɜ4@tucC\\ݬH 0>}8>ÕOp^3&Ih@ X\4ytFBO>Wy O0B^|XC/v |>&bEI}qRFt}لZltDgZgqz!}m;½dx|zvi);9P{t8~([!cL1v4W as*o 7tFsy`@(+֚Jcb۴=h.4<í@WqxZ AI[QY'{\j3ѡfhg0^W>¸V6}V_rԫ/ c S/teWFqz76%ݦk;.TX}LK)lǯYey:#^JϬd1` 怭>qbǩRel94[4quo0}y*R1Y?|о&[\1\zg#LdKE;o6N~oD/٧lG2KKs)u$:|\7GRWSXrb [\#×p=6Z0n>%V` Y KO;*ڢmvG*=PLVA#79Vr#Kp Anw[@[DA+t;\dL&ZsWeE>Nu6͸΂R@eˬMNHkTj{[@[ݩ[E|Tʯ̒RX]H Zmu=?q:?u0+Ys. gxQqo(O9Ɂ{@W2AfG8 d!܋оqYՋN0/ò ,(ÛYROP꜁Aud^3> ]}t3L+&YVXELcڛ^@":4T &.ٛ NM[ҕYx? g!KSYP.~:8, *n4>Й"t0yE?OB_ ]im:aHzx:>ڄf3!]]^$G^@HE'AD|O8nXYx>v^ J3cNɶk惗^lBZ*CSk/07JզG8:1a+l\ no&zfC=Tt(FJ¹k&uW? z,ZGK٢ecۧO¥`}:O~ӬMYT='.9cZ6L[ ?芅K`V~ڰ/҆heB].#+3C݈2b^&wgj[u-ޕ03[xO*gCSx߉w V %NsN䢁k|8\.[.6@LsIMavEn[]