SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <-Ll E]EdmondsKarp_Base:threads=2elapsed=124.811cpu=235.232gc=9.952factor=1.887zXZִF! ^]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5f-}/C$h qU̳~sReGnU}A!,c9WG]xyYA5 zɂ - EdmondsKarp_BaseU^:'aDX)$4ﭫT.{hOQ&s? 8!wM|˭p$;4!Mҵl:CJXd{ ÀZ8DjyPح !LP 93[u2$NJʓnI:/yJ{N.jC7 bk)+,F@qK$adLYAh o/U;u*5}zDc^6w@ [N޶v;Q6#hqhIP`@oI\X0cOdQ>Oi2xd+3PpfxO-cVR$QIUGX܀&>WA%u!cʊEB[y6߼_[8QGU'➱J37@-Kbkҗm{gF GYl=#* pRN@>iF@s\Ango7q+y —?v{4Zr7Y7:sgIj,'L?k[.닒!<,kCXbMHyZYGr h/7GP4 1Pߥ# ae &?O׋u]4SG*@ k$^sUTʹltRZߚ~vCmiVT4ɘ~UPCM~""K/ausFiAmuH%dK1ҒAX&(3oS ;[˄U?c}7pMv\s3-]ѯUidi+70#{vmnlW8tiWsM- m0ΎH>#A'~ H&`m!J&_MO}ǕcVUZ֋ EMOaovk.]@>\|juiئ-PlOae3ʆM:/jFP,0ъy*鈣c! BY.Q̟Q8?&bbCui^eu\4Fy.)*>2Ȇ!=nsteEO#P78EStu%)D7LӽU$Q|k w(>u&l@P[tl&:^AmZQ΍C&=wԴtD\!Ca Ҝu̒)mq5$kK.+`lvaw-$f3!E9NZ-8mimd&9&tY@>H߬8\FxѦg7UT2"ZC3U,RYʡC:Hͅvf4D;VK 5<]tE?]%=h3%lIR:|ies&e9 O!Z̵DMdfE|jON8St7FO)5l15N'ѥTսKVF&5&MxEaw zZץ. 0! `Ֆ> x)g~g)95pMٙ$Kqܠ⏊jܾD.%7Ig06 e2w[z%|v< )M [D[< yŇLUI۹J2-ob_$>^`$'wkY$g0VAfu<’PTwhFz4ogf8hNn"ER͡C ?d^71(IhDp֚iqNXME?ѐPGŵў鐐 P_ƺKD1@U?wy`؞,+ [|EJܸ\S?#3_옴Y+CXb@_L$`V N8W&g`b9zg-$멖O5%/4B x1Dȅ[e߉ BVٴF,ݧ2~LJ#u;]m\܂9^D/'j.ģ.V0Xl?OC%iw P@ukhbr5py/~rXl>{Z$ Kf,0=ys Wԇ0i>:>.kc}P\m@; F6V`Q۸c]oXTl3ZAA;Uq\Bfd%[g3#D^iBwQjy_5Zy!_&wTIDB߉ 7r4;@O37ȅS! e  /}GC]q|F e/<0 GL!ˮV3`ۓ҆hK?hZеzo Wecmz[DqID:PMzHX?UmlY*ЊrL5n٦Ux>2<ڃ:ֿ>iZG( JQ,ϔ֣^X+!REj0G/;ї[H@h{ptERQBtZTF#~Ļטg <1UyHt 1!q@ki/>.lHA6'/p7'3-:pZkXC i5t0N;Co(l9 aeODž%y 9AzS-\a("h֗{YYATHK3GwYv}|u,al}eJQj SThaPIN8Y4 V#Җ:.bb!|W-*`2G3lJRqJHm0G_|m*Ӣ[JĀ˨\’W(9Nda>,iV-g͗O 3>p-)Zp(\dZ,n6c۽ 'vT←m!yQCkPTo$NGM1cUMiaP`yF:05ƥbdK]<\GM@+=k'trH7F4.92f(Cl-դ"tPX*4ǧlb 04yVn"^0Dˠ0uiBf+di >b#2 ^,pB+:lm8欎.8e[TrU XSABN@{\g/}SeꬽUGҎx? uM#b!.IahUh3^¢Ti8t"-j*@S78S17H|3cy&VNnomV>‰J𸄶Cm6l2Ow|f@ jZ*HtW-;M{U"% xXH͸AUFJBQ!\31(>4|]Y͔yVǮC{O[_SdQ &o3 )Dg!Z T# w/ޜ:'o&M܉Kc&v%"4dײA+FiMB) ?RskPt/..M9`@Ol F~ OoԆ&Y튊XU^靶|5E!ǮW'U/ZN-&3)e]?<"`BZ?YɷTYr:py ٴIz@~Fƚ$DXkpeyMI5HD hNUw 5MS|rkMۤ@eB! "c0T 2eu xbd0(i}u)Ë0S܆kfVWZ!9rf&~:MqC7|hV @QT_u Doh?ɣݖ,̟K&PpyLƘ֮jRUf=*`@NycvQTu 'q]"}8-aS0o/遵u N0қSK<*6?xX]tԭ )o+gѢM"o.ݹ2.d}>PrzW.(+~r2^o>>|řu[ocgt9>y~' bsIxDʓzҹ&jqV/-s[k45p[;NG,ਰ 2=+%Fhuh^nҭֻɏ1.KfPf%':ȬgHPj6XzA{ĭwz^{`7iEרK/C@.%=j~cAF^АvX͛Wه㪷 K{ xƅZi+7DpD/ OV;ЖT԰K"1ރ17u=[\ɼJrrq@Kw FKȏ8vPhPO&;M-lV4*PQGο x}(J3ߑd0T;/Iu$DT#*:{0*↨+ENଙ Ө} ؓ3p_A1dJ5Mi-V.fU"ZIđs)Njcp <T5 e{] ILV!rp07-fz#I^d,#&AEL]^`'J,VMÝ&])iU!C+UUweuOH&*Y)ZJ<׬8VB2ڍ|vq"Z[Փ(wul R)U<φI,W๧Ȩ X+F7=enS}Ժոw@llt6_=Q& [Y8d{5m8Xn~ؓb ɂ3ŏFA/8&!lI?Bz(d6~gYZ7zXZִF! 7?]ŗXi%BׂyĢ7F!IE+I}e>G!@]Q0mDؐhgךV333jvz_Useeއ[=Uǽgw@|br%fzj ZJ̅A",,Y SR01j PzhnA5w".Іu]UCYvP;oR!I\kA |/mo/1%2a '&JM> < ih҇/ʷq1䲰%s=YW{jɒ-빰`=4Ӥ_M_\>XL/%g".D73pan1B.mOՓ'E8I8UQ~ AEe}JeRaic b#ϫ:VhG@:@EX`"uvÃƛW * [ ;}YulRd~w*">đ*qQtϝja s\P lP̍ [2TFTݯ~ 5kމxYjfMc'zľɅkW@5FzP"~q8WF+|ݾԘ')wݛ>*MC1⢧BC;> u̦N9ǂYŴ#"",*fq$()Z pf5d7 B(:U(NS٬th,8Zu֗RKJʫu)ʒH]pYUd|BqRV6?"uIa/ѩb#`x\}3@ˆ ɦ|N (di%dC \o95Cenf92|O]>bfR: U唄>7SI1}\>Pm fAb,FG]\P7^+W=#)f\tDke3bXl1^*S8 lmBI$o!1,<.=]!!A) ӑ[9o JǮU_!"/n3<#@prSq D{YɿOv^^.*INZA]N!d4HSg0+K"{wFh]20l}D~Q.xTø.9 61ieQJآpsK&} ϗ@x$ARP VUZkmi /t!|3SA{eߛ58o^wc97P̢[t^)Dg2["p0Y>Y(uS^e/6dz=v. 7qhf^8\];(tc<+岁vhS\ZHnHQm*42w糁0FS ?>ٶ! Cr{tѣBsi-+}=LWXFH7rgq60bL\[Y]#6ә p?:!՘v#Tr'&kv|ׇ,2 gNܯ  TlM`e%:[cA!]q\U2 vyMz$)6 q. p /1>&f<1(lJѼ] O r,t.&]{e u$?2Ɨ}@J}\<\{bx&)~ q͌jh b]$eI+(O6X<`q1oPK`g?KZVarX8w[r 1-aS蚾=_yM",)dgF_}=b}+$&g>wߢ%S~ͅLĒ6$AApP;Ȇ#o@? ONIf:inPw$trJ꛹,>؇ٶT1n6yNn5?N*_X8 |j:h%SXv-:J\9:\Fc*3jN7?vcy8 L?#@7a踈'v%~0Vo:PbRw{)˲v_ݜuj]HoFٱnڅ.ReV~:=Ie :v?|N6%[#ЊNE.|,[8W0_.O`D"To(dpwćT \[)[GMS"rMo}PɤBOy|pZgh'y]AܬV>& %Eۢg2|T)pBbpgeNEtǛx QkLOt㙲Xo8iuz+29j9j\\SCgpՖj [_jnJ`d[ބ@MC酕ݏ2qRN_BқUWkUPQ%u &p ڣ|HU|>95 x+Yǹ$a$deg\.NnajI4u{`b$ yƊM*f anKt7vn_#XcjK?}葡g6DI@I]4 ՒeviӪ.;P'e@'* ":>bNڿqbPpB`Q5!xsSUևFjؿrI 9(!VX'4>W3B9߼]e둾s͑g݋v_yަ 43 YK;lQUwx2e{qKN :(8dg!h;= ƾkUq9m!ǯYɎIjClw n=$/6JZ9Y^$]bU(iD=+Nx|0?\\5H xks&żDij7;}L R MbTQt +sCfp| N8LW6-ޛQKpq*+\|$)o #Lze֌_x6t[7["]@E)? q1 f,TN ؔHjCͮvh$iK#L d#`0Od~ZQŹC/:+^{Zz"֔ػ^V~kk%0 uG pW-1n 2+ )A;-AݎOa<.3l͉w?,3LjJsH z+*ZkUe>]