SQLite format 3@ . BBh77otableisabelle_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  X X3 ,T ]? EdmondsKarp_Maxflow:threads=2elapsed=70.255cpu=95.280gc=4.064factor=1.367zXZִF! 89]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/P>VY}8iwA\@fX=M$ `&B(܋GSCIY .R _ =Gr q=pPHCͱ4|$Hȿ͈T4ȇ#"<8=iח]ue<u_H쪂% W=VbiIi +OVmws_~9\>xn>t^ _ cJKb}y;?t4Y6T@Z P]˟܋`L&T~ Ǚ~WQTcfQ ErU J3 }zOnVd]Yab{?`:7 gΉʰxz,J]{kxQUJ^_Jd?s~^> o|vϢBbϱX_L2}^R GxuR~&hgu:nbna{@"aQFU@ ?6BC1V5ݭ_U~DUC}ΝZ^2$"3[nMOx U#:05#IbM cob&z\Qɣ!mQ?—e#Av{o.t>˅dɐ &1{_[cQt;h떼#pz6|%h]ߪ]sdL'@.?xws7/].K&L[ /B* ?< _Ӆt2>'}B#)g=钕j%ped泋#nvQ-&fWjQD%wC k39{lwbWI{_zWdДjSaCSއ8KAt&PV;Lۍ=eR8Wf(z6tgo>>!mhw?*.L"8  3 EdmondsKarp_MaxflowpGgYZ7zXZִF! ]ŗXiɟjUWOŸAzxR:j>g ZZ 󟢠 ^zg`a6%ybJ-Rr4Ii6RwIl=zk*ӗ>-\G30): K`Y@.y߈Ʋ(xauSVbTCEl K*Au{&&U.UNU=XBB^jv^o9#fQ}Ri gYZ7zXZִF! SU ]ŗXi%9*] V]鏢.d0Ļ0G:6DoVB TD&[;f<@PYЌk[/8wQ*mtGpVÀ#P`QYZ/ş|ƭf|z? ̮_>՜ty>ܻU'%5Gqn1wr$9dGC!glҖ?$n"DO(6N&mWքKk\&30£l_]7㇟ Xb+w1uuG۠ŸB h,b[V3H7x/$HL3A4+N6b #L:o#+FR?8v-z/e5kYy=vU,7ܭ+nXd@K5V6J@/PP٤]:NнF!! =尼`p3z ENZXeo4LwtZ9?'nIAo4;BSG>XZژ~ \~.1Gyyuز$49,)Q!kT{Tie,GZbY| ŪN[}wkPK]ϴ7ڬ9}ZMrIQzFT=+zJiL0 KI(ۑ&xw>8mbb<*2Jkx Xqۮ~h;tpvLUX ajnE%#OwMʿit)6oiUmwdҗ[;1rYme̍Xذ)x40 TbQ?(c'Q"eOyK['l,pU{X(c(he* u,;BCE7Krv  38wϸ)i a)؄+ңQ0_^f9R(-q$sDէ~\g#5fi.>BBy=?ݗm5-61)c51RI-hLݣeTRy NȔ|rۧ}.8Jg#o֚ *ILJS:T4ToWCspwyiJ0rm3$mμ/wIZz<̍J][>LAHSgHmdTPN0RbCWPv7ȻltH4-zWN Ww)㜕ܓڌ㏜ Eox TDž}=ڢr;#E>3lhyVPI`B,:|Sn:pZpOepvwܶfN[zH{dtrh "JawA}mEA?Z'хPv}1yOL )r+ ՝'.뻄4k}x#Jd$_ɨK O]Z@ Anڴ'{Coup eyȞi%-fTQ5gb .*{F%.^4-OX'*ҧ 8't-7LH~fl=:/}TMT]WJ\AQ)MU@͕2 뮏@z>"j3&XH͡.$ V<C93&!AhcxA?O{8`N\Y)푸9 6z %XfrW=T*3YB1g$:]*fB:CnD>uI-2TK_օC7o3>PMA) %t`KΗUm hUt8ֹZRp6/0vޅ^@x+ ~DDgGB(9A_pA\T4E)Nq0QT.I< y5eG%T# $@9N8Ob?0`pWKdc%I?@Æ#~}T;˘~?$-1!9olzUTT1YGrT@G!B fޅA: `}3ÎdA#e>Cc8"aCz0_rf¼ §W|c JC0>m3>Zt"n 6J[sDɭIѱ+0+e#ګ(?s p箙O b%xkrQIG6~Ӫ#9^ pL8FtQ$x``Ktr@ *96]o3 w~/c)SQPwIo=%[}4IdL^$BIg)P0e]UG*HJP,\`['xbwvN}S[ZL!p}N @A/!C:~<l 'm~7"