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  y y|3L| ]? EdmondsKarp_Maxflow:threads=2elapsed=76.538cpu=113.800gc=3.576factor=1.497zXZִF! <_]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/t;x4 <܅zB;C36oV̦+C9{V lk@Z;_kK*U27ZC_j\;p:,h2Ky OGߐieސ;$ -,.`qNM.tSL:F}l\Qz$Wδ ~ }(iT9gjQY;)d&ȧ%Zh^E%$m0f4, *oxm!#Hx""IbcA%A + Rn/y =().}Ic;ʅҠ>`Y`bS .ok }8;bPKw »Y/!_of,#"f<FC[ \աN׺b>u*#L1]q%Qd3"A- yN. F"9OyabnZHq0ŠWVidEԚ92stф(`C?;j{"R0MVKq..o4<5?hkHmG.V9 i7'_ҿeIaפ3 '5EːC^MWK#x (փnF6&')#Sm{etU`h+{~b7A I\ U׸q46%Ч]4\k]'WAmU}N೷;m M4`؃!P~8D |%I܋s3! rsMpVz&Y5D l.gVͧkfMBKW1.oW^IQ˾mpq47Q/+٦t'Q_29̇O2^ːi,f,+Io ҵG5DE%!9F}$A#:$J07>T^./:$)'F%#|S~A3> $}\‡/3j/*pݭ=T\t 3 EdmondsKarp_Maxflow*l3uiDg !#EKLqjrx2ht\^TĝUBi J1 [Ef+` + hp9 ye(ZgYZ7zXZִF! mi v]ŗXi%61lQK2SNgn,WYG@gYx$ fn=f50j5\1FKѳfWKD/&u2!R3Θf0[ͶʋFibP<{vߖ3crbjٯ+Ɣ'_VynțH6 xw) yq4ߥz*?L;C(3nz#%!JN>Yn(\-BxSƕ\epBߝ0\Be^[j053IU& bM cz) zc^+ɕ꫎H"kw͸k (/=gt&ou[PvfX "8`<ϩ $7y[+$YM~kEqBUZ9kI!5jp!7$2:z+$ U]=jF\^ӪKxUiysteGÞ@z@y֟EC橥Ka& )YShMQ&uFGjo}*ө Zܷ3p@ >h̴HYmj VUEњr3qȆL%{GJw1~$vLIXTkkp_GM5̰wl2V,Z!ejxZp(X!u{no Q}v '@61ԧ#珮&J_WK"E2)p$^Kq3hҾ# T;E`Jyͮ/6L!˜.^ -2`Pcs {`e͌ZrMW`6#V}f+oU")}cO)V78NAVsBTنM3~H/F߭ &AjG'F|W ;ط$^'1K=$mo6ݐ/EPM$]1^=k (Il6܃_MN|׏xW$ɚfXuI:\+*:"Hf[1,SDXb՞aO; sV|/x(= |vmPn$ w'e~C2Krk@@^G g.M,֛7_ .unj9%j bItY&aMԆ}%WšL1~S{ xB{QLJ(*Z666?M>RAG/EOĥl^,m!|b>' GFҎne awٙeZc#tv^Iۭ>Cipȇ>Π+z}kN:ٙx G{4`lܰ)8 k!bN6Mu*.c9fZZY!C#*; 2fs%|DAt;hKBaS_ϥ Usv CNN ,2tvn1Hӵ%3[Xz{Ay-y13Lѓc HZ0,2q fԀP/{hp6ʔ@oUzR}**Bz!?yk]mI[X6Y $h|J)+p`#m{yU\~KlsbͮBPL/Ditj,EbŌ:}O;sֿg!1-40nI $#R"'t lX1\O8Uɸѭ=u# i[}S$BU(!|Tg꼔l2S|):ܖβSL-g65'hw?E?Gpy5Y}4~p%1<8aq!w~#I +-qJmwʎ0 By29Jr0<ꛮ"%c!J 3)Ar9/Eq3K!0h0;I9d 4& @B~$B2fpIJNCN 22|PeCaKe[Q-f7 ]90Z7&F 9ghQUn.]Ho~x7ʘ!).h%IOcwÒ/y܊Y;PGpgVYC◨fUjG!e^T/( Evg6)b_.]Z(^8 `Maғdt:ς|8۶Jy%zH%5z΅!Pl"ag\VYOR٨`.&/x#f`H0s\($pZ˽#sg-Yw:b##{7;|:W~c 锇ȽI0>]E`gw%#×X- qt@d2.$ Ccc[sPl5L,wey)F=&T7Ŀ3 gvBƃIЇ"}UR*/~HEp<.T?Z*؈:S[dV#*udiDk!9;d[d崸EW k