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  4 4A3 4 ]? EdmondsKarp_Maxflow:threads=2elapsed=58.923cpu=78.184gc=4.084factor=1.337zXZִF! 3G]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/m#DuhL7BJc+#hܴPxra,Z9'L *>_cڔb_> snѠፊ=/X[u /(n!|r }|{w%Y_ +rqk&Sy_^97v)OxX 7FeM4HLѡVkS ׺IJÒSm*eLk,k,Ijj|)Q-~_dI ;U蠤wJ-k2QBgGᥕڷZePή^z6l`KЭf-.SAL~75L躟ؐY*:tŦh3דAKBU"깶4LSM ` JU(Rk]s)蜞q6;M~:7vYz˚(?ǃ5Q}[#\1Ed4'"g+FޔTfU"{0>E:uG&)a ;v-B LHTmHghP>*AI[&PQ u|iLI K%Ou4`aF6=khEG 3apmuHqե@v]#)Ym3- +6c6mL*0|M ~ 3 EdmondsKarp_MaxflowpG<=Ԉ؏(6UeUq.sD]4'K:5|~죝ɼ-Z.J[F@&!P`ub\q^ɨ|x6KZr[G_qSy,=@n>ri<[)q*v0A^U|4N6 :Ӫb@^^9iS.4bu00O R4,tF&BeNmwϺX_VZiK fa4pABѮ0 1[pڟZj5 J'5*`=tfJQjgSWΡ_J |qqll|d|^ XןjTRsk f%gYZ7zXZִF! ]ŗXiɟjUWOŸAzxR:j>g ZZ 󟢠DgfR56yDOJZ<*-qvrՐӶ^ #Ug׏-b.r*</Iq0 m KWfB چ$SP{jy>`55 ?D)X:1?,ǯJ͛WC0ua;_bIz$l} gYZ7zXZִF!  ]ŗXi%ӬONb޺Q4b)Bw6lwɣ:!)⹷%T؀j2(:At'%ZOMcN>AJ YLI̢46V; gD:QdE\\|ђ=6bnjׇ&P<)[-ִ#?7j(7pZT1jƐ.36؏dpz^\{ymz" ' YK8i SzN)9Ik^\65oM?:~A؄;)=!-aņ: }MtҾY I2تpјv"8&X<҃/E/ +h}A?쑶 #JAoK#Ԏ2RSd6HNV@;6p@JuvQٽ1ϖZ( U>it3!'H]=>(O-CRҩJȝA3h$~IQ9b%$fX4hTvqeZWVP&='9o,'7n/z(ޘC?Dqcjj{SB{䈎dB~8ڣ٬"X|lJ=γuSҦP;OvӤ 8`ݳ5)>s:A=;OeDŎ^xЏH;l{}́ۻ4)w mYwXI=IM/nw aR]NAɗ :G5ŢTo+ҍ/(d4k<(|XzW^\ qXMO?Kk\WݣݚAe/0u1]oQ> CK(Lw\~tCX=Q;.{Wy@%x] ALdZ;*;Wq]u N KVkN~+ӼTUPeV?JD&',8^TxcEY|HLzEEE/W HdZ~hƀTF:.vByא!.x (qⱳ*h`/\ 'P9gB9Bd.a SMhYF(vZ>jMֵ}JXp&պl,E$eD*:#PBVg>g6sQeZ+by&_JyXŒ>¥0i)9`|ei4x菭1(ׇfI"Ij! +h<NT[h=FM3سTSWXyRdA~g5tK7JPPȼR l*h^k~m]_Kw!2GQAo7'^7RTڈx9zeE(W~X)j Q^|VvM@Ԙz5/{]񝈍6 ;c2לo1Bʨ]=K6 .r{yf3rX񄐻Ĕ@yk_m,m%kTB,D~e928l‰+Ed,Бxg4R"l9;zJ>daAT De!5P[lHJu3"Q:FQBp'ڄ'o8?Γz&YM)c`dJnu%n*M&W=ݛ¾}ߏm5Hcf?Y˚Bv80Xr>iVnѰR#{ x}`r){V2CtO!c.[|?gȑ#eBŽb%Aغ,~BYo_2 NP`Oa΅ C&zJrqhVo'U霜rR`7#rǯ/hP*b? 7~GpfU1eV;W(Z B>F4SYwGNmFZQCK|jY9[([gጄT3vj47vKVs_Q@5gя* 䡖!۶/wU5v>IG}z|Z9ap(!dErkgˑg@IhaX0.ҭ7 qնLN;eaG]*v]l/R==:n 7s2rtj#e /7oY2@c,V t=mM¾Ӕ U"dТA.(*ڧc藡?\ISf[t+(G,ea IPR +يA@!31Ͱ[v0Ėj8չpّs1A A"UW'/y=~wHTu]/Go'dulb3"2U?^g,ziyw%DŽoH2{8enQV˷m>D$HP'_0#3ݖ43\L7Baиbu.Uw.+eȝ91`MTowc}}FY!kY7? e'k cfWWM#pg+_!‰p` L| xPmֆZ4 8-LH5M