SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 X3d m? EdmondsKarp_Maxflow:threads=2elapsed=73.180cpu=109.796gc=3.556factor=1.507zXZִF! 8R]ŗXf1-/6vRZ] 6.Г4lOxf;v=LB&:S O#=iKKDP`34|NzA,gI,f/[I6|ƪO#{%kV;nl盼4U 1u "Zxkx$];b2 T5Yh# F+F1ϰ YEѺD57D &>,>Hl41HػkKSpQu }@U6e0R_R}F+yYyZH-LTQ6 .B\n)m*YVMLW˿v2ʱ-KYcMRfT+&ߊʶ%l[C`>=ΏTTU0Ky@l0nv3Vv5#seO*.c hɫLG18-ѣ j@~uQJeUL]$J} ]zޏf@*O^o N\q)tݓ]a袻k (gT9V7 )ﺕ84~T(BsR} nB3[ׂ$k{o4(Mz-.w'Cd*'Y90N/Ԡ=H!j8bNf4gΙI˼p\U0:8%<UOqS4o`wol\~:R62x _]ppK>&Í^BklC)-1<|51|Rq=U}%u$Ԡ`*5ЊpI_Q]VxT^oP kjO2j͡d?"}횇h@T^Sisሶl+.Z))Heť$GBlD !C4^~nB|o4K N',Ψ5X|bBXyic$8{0ũ1 Q +s(G=SS 9i9tp8?,=~H& xZPvrϗ5"kM '}Ǵ8\N@rx?KSFh2l&v#ŻGY^K8OB:R{Ά[RE p$gYZ7zXZִF! 3 EdmondsKarp_Maxflow \ ]ŗXi%+$JxA8MY?D gA8m,@ow;jHt6 korTI215x{-~Es?e&Kd۷2yiMM.S+"a~1F`8I5BԻ{l¼ҺitMsI@HO. wVQH E`nTK@gF04ƍW /-DyB򸞧\vcO`7hYFQNTJo4!Gnv`* \*dH!mR=EHݎt3,G/w׳Ĺٻl,ZB;} ##PF}$۟l#V5qE} W1σԻ &QEBQޓ3H*+"bxuҽT ?չuZ_z2HU [<#w#a1 >wӐ4a v'vOigZU[HZ {8)gHSDQt̛q1RTO[ZLϏp%>ij\4-+V6yȫ=aKQK-l- mHt7%1IZ,(Kb 礰0LޞVK\y?8V˘`ŻM]`B?D@22 6Pswl;=jDW' sԈzgc 'TP9iU7#GrisB{Ν!x>Y0 Um~qxQðIc4i4 <+O796fC@26}/VzZ[9$ױV2(FQnWrpfFY֓z3fy3MQuUDL'Bε^ˍQoEˤ&ubSO 8dSwbw$:wj;i5#Dv?Mm}ɸBu%xԗ)WQTM+%"^J8f ?fAnbz!')H#s&7?|t0h` P6c=+;H3Y#O|UyfB}`ThV%o -$ <dZ=-ZW ZWcVx*H'$̽xKjuc8mB~u-1LLxi* =+x3DS+Pqr*K{(NT͚М_bu |P/ǜd2]#Kf N5t%P"[X9)2?I(?UmYKYOK-DT,>?ZL]y" L +S 逾K b^/7 T\Xu.inettWs*|;:BׂP cWV׷ f<8=hy{_Puc#=& 9]_ʘG##qn:)q \B ,TsF:P T;oChXv*%iWS|I@;x#[lXBϲ}'[T&:TE;}CB(\g}-GOlFYy^(„Á^$@WmΜ&MHyZC纃hҲGF!<$EVkBo%HW_7.ug蔏6I!rlE<$$KpkK `? .4Mie,#k5얁Ƴ5% fxveeef)1 X lAQZK^=Qh\n:xzR5ü/j]DlvPxSҺ{3QnQNiOzP,g#ohս:SM /J9'Jjfᯊְw έ@@$DT 0ogeńPXܕ:#ܬbs,iPf~r(1V*h][WNA_5 Jwp5hӒNOD9UN bT\gc&!N@\{Fڅ /%#)-0n߷*V|BgleyO~5曟no\l{MEPH"M,Oh2D询6/\QĺAxihW^ Ρ#Vg@/J_;SSe:S_K)_,i!Μ%ˀh  {<&@.{j@Pύ9[-lnzu ςR_@sѿwqS׊K0BKDoo%B^ 5ml}j2_" NqBi^z\|W$-W.)#0'r'E,f !sߞwY~^7-%ґbINP..~O &`zL+.n\/(Ml_|~@s|"6KWmJ_1"Wހ'oY,k>äȬ$f76nwٖqbI: ??-Xd1B?%CjP2)ˊ%"I> fIʐlk,Z|9dϊ-f|10$Xe`ۡO܎NѪD{T ʞdpP{k2K1?Pmfx$=) ?Mq%%zDh[c TLÙz p=D[ ϘU{okՅהSz~k+ Y3ѳ9$\A/+AMx;UM+jUË=M@1D{w-cE;nHBudAzI'raZ6HV1qw9Ë 0E[Rm+ٶlTyO$}Gה#!#e [=6a| Ì=W7)"d(`^>,I }jiv>Z_o\ IL&E}}ݽQwZūhr8 <ݹ WgYZ0737dd6b16e680d1a2657526f9f8291c096f0a27 0d1a888f4ff4bc17316cd2b1daef8470db67f03f 103f8f9bee9abac53092dcf39bd82e4d4a41c857 24b4bfdb8582799300c0a259769bbf2865921cbd 3098e3fa620057b764fdbdf02a87fefdb2e3b5d3 309cfa75c4af17cdb2de7ad8c7c8b57d43015046 864ec4e6efc9d2abb620004b34b6f296fdeacf9f c7a6fa9ddc83cc654505472c358f561301d024ae dc1712502c6f4fc019c621a50daa5204b3d36a6a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 0277895c3651fed994efc86b055a3b7e184a45ce fb3a31a8ae97230a6f830adc2d8bfb21594966ca ee31945af302b6c76ef39e0b98cb5dbf5004719c ae78acc8ed058f366abd178bd25483a4f9174e6d 4089838b3b67cc2124b219b70a2123571c7b08b5 279e070b3a3d5937d4359e71b54a2363a35aeaa2 b953d037f912de3de9f817438b54e232287ffafb e256a3e83f70a1a9d463218a68ef95fe59ea2bb7