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 ''J#4LL ]]Maxflow_Lib:threads=2elapsed=130.524cpu=234.600gc=10.100factor=1.807zXZִF! m ]ŗXf1-/6vR[3 G-y?%9POHa4eCJ1' z=yu؀&@R(m8^P2銨2uyos+ELL|J |xcGptӦ7<USrNRKPfz ůṰv)L%u6*אM_*/)g$qf_GM4x}>]Z^ (ښQ|, rp&`i .K3O0&A۔ƹ,ĸj9$ ^_i0; 2D @Ko+A1ْZD: ME="6Y˨DJ*lϡ]cS.0ՌA)fO[Pk}I2ij!0DFIS0~5>t~qiɠ{w:(-ppTuMڟ-ǖPcr@l4#YȀ)wU3>H` Uzֵwv+k(Il <+Hf3a-lúnהT Gw5g ; 70QԎ~Qe峇E>y0VL>H qK?pP`pHM(|G(-ӎU3ah˄ z+)aLJW\(Hkצ´]&o ނ*;Tzqq?TQԌ͔fŸNbΥh02za2R}(Ko_WX¡ i3\&N4TBAfoJC6N[Y`q,ahEΛxѰ$q9OS 3` agQ<мhZf$kaOL^6bdɴeH㍜w'A*IM,xWm'UmSM: rȟ;2!<9\1۽q#vSef"ܙӒZlZL{SgYZ7zXZִF! _]ŗXiɟ>P++ \D;?!W 2=WMB vzpn #*r&յ1 u`B@ ~$s6Bdk SBBpDU:L߶Iuz7^DY~SwXwg}zCjկ \.HljqP7Ѧ~~ mQ#!m?sͰTVƭ|{&m& ƀ`u,/+.t,!w>S|+&ɮrmƨ!YT;FSe I>߆0ft?E箖g"@>}niQg=N>rQ[7.a2Xb0! a%Rc.% 8+?t[+a6XsKlpxn2=JvʷeccsOo?h{bG}Z8D5<7 ✉a4"H(96]+v/ is4D4vǤk?,waò I7ΊȼQvk((Yak=0u;l0rMa"oqɶ}(@mɊ+3RH̫bzK_mSKS<&YMǴ@y wUPek.w>fq[7\T]h}(v`la1B2IRցҥ FcǗ)o0ҩgq/&0hw ˯-Ů3񨪡REۦ_!#30O'3,mӳQ¨eYou˳T 3%&B9hg1`^Ɔn~N 2M^ZY$}ul!̱D) X|kɔk?{E7"liL4\2Ң~QmkXKGj.Bˣ___2s)_DwwkAz0v&̴٭sZ&I6e`s7J*&Rlɕn$Y;R~UnV6j"!ͥ]ȁ+hЦp]Gmf-ZN¢GȜ6'jD?/EO.'ΛFa N@*{Ljql3ÑzyJÇ"V.28~ uě3FdM!F# 9ym!8!6LLsF{̜kQʅ(A U߬im$ {a2eMMhϿ:CʌWB$톤ХՍTj_ rŻǔ@[USdY8_-Ǡ+i@;X|4Afxk}3<[oyr߄[ +3:Eo3Q 1ɞ)㌗\}%h|+^HDdE; nv=rZf|8aK1ܘ1=ujr{ Qux/wld^Ch"C,"(n^Կbm,WyrErVw"j%K &oˏ**,xX(ЫQ 龯{♚F51Q!Qrh0[4GYj0Vkh{DӽEz:4BVܜm@0Y u"(˂\򄯵ZWHbc OĤ?@j?;+Aj0Ƥr3p!uypgU4r:js8L)ZH.:g>c҉.US']4[ ՞5p SAU ]=g-_[{#ϫ>2[%BIqɢbêGʞ8N*%uZѸD$s~yXG fjUM" 9WlZA$C=gtmHBa=&4|et1 O!:8'Md4]Kt0[6;I 4lǮYPB=9#H]=@SH\A%/#r=hxt38'}.:\dE#=wT!.7 ݑI'`Jgp:@v#W&USp1t͖~A–Zug1(&梾VUa7 T{3PR} \*,b'1\c!d(M< ?f u>tB"dD5n6'dTI@z q`0|^֢C>zt*N? @LQ@. ߝZcF*S&Ʃ(ށDc 9!jYX:AP17+ꌈ$fbGPMSD}%bA T_9^>ًi$ ;O{Ix>}?G"@@.b5_ixǼ!*WU6~RڌO-`CorZņųmtdmhKi7S(JRaXc hZAQ8eԎA/mȏM'Ҭ֦+ҒG̴$o‘`0! P6`JHvIClF\#? 3*3ptcj8oȥ\ 399;vaKX0D᠔ləc HJPD њՎOgY'~ݥv/M2KhG z͋C1A; R& V:Ce_ P}5 #" rpM~-oJM? @T m%O!:#:dXS@#[q0T2Ўa:We6oܟ+: M#: E$h?au+1\*e )ѺC^ŬBB%w[Iq1S=7må2RcKE(&lUr!x5bDs6WBY{ -Ute9:}ܜqeYI8x}F5[Maz?Pom/ L:O=.(Ar˟anX V9׷/V>O$J0hVEՙ:By9& OPoPku |Ta/'!rY~mXϼ",BXQfg6`q[ b}]!6DVniޓfejQvr^ҭ$&ndeyJ<~dM7acZwQ)zvqNӞՈ4i&GS|+%4O1eӛhsNƁKM2&>q56T̺G.^Wkw B8Efv8c;3=\兽=(,) &TSVӾ%_שW7Oe` WЅp͉ 7.ϓ #,CVw" ʼnIG.- T\[EXHsjܮ]~CmoՒMVV5mGNl(h`4b-*NrI)2*6b%/{CN:]|d6""@wǏK9.ݍ_)M*KK ܕڋͲO,j.)]9w;ufvF1zuf]3q&C#AR;m : :1VЮ N!B \ _9lq:skaʰ잙ab#f > Io7U,ɨ?*r(iV<_A֙<G*HN3=BQdZr%f77jߌ!³`JCnC1txL[9ڨ]nC81@Kw*9 \_tidۏWl`t]ュ&[>_أeFҬ/Y1-C4U[=W a9В_\ R}pdub^V\{ʣd˚3ېZa3p><q𛪠`Tؤ{u||>K_7I>4t_)⿌C<ܒhP}v3#r5*Q9"s@j N-D/|A[/R$fO_b*"vW{'!T@LXNvSR-1NODSTc;{P%s{dq6J4%' 0#+ z~XGXC5 Xw?Rų4D^p֧W57AR {7'S([ro7 c]oAƎ061ݯ锅Ԝ7.