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 oo# $ _]Maxflow_Lib:threads=2elapsed=141.283cpu=253.220gc=10.316factor=1.797zXZִF! w >]ŗXf1-/6vRZ[gYou1-qF N w8D #@\pĕ-F ܇зZ}4׭7wvx)dJ/ˡ{j/@dXf-JMu-9-ViX]9k8 9Kȏx}b.C TnG>KHTvS8 N(** Z$-P9 m}qVƞ=Q Jӧ߉~RĻWu˟JKq#P|jnVp&ϐVeBSZף?< [SRKv{ /NʿQ23D,Xz^脮l-7oW]Ϟbqn%aEXYX8O˶P*?JR(4tYv4|*I⪒$Jو0hdj4ۈZ FUZd_IΑ$_CADN)61 m7] X 2`Xx[_<0vcgB8VD7%_/rTϬb:KMH? @;<5jy*7LlqLI )ۣpr.枭&l?zj}W9"9v=N,$yt/`*E-K⣤.w9]3cE#wCGwB#%: RG0(fяs4Ö#Q|dp@3F 6b4aG[L'X3(°uӃkgCj#h46/'iRnlؘJ7=sFwLeadOK6j=&2qc(Q9#@)|?˼a77T8mKh ':yd5j s(f2-NWOIVKڗRJVĠtuԛm▻yf#>ʶKzN' )f(l~MZP7`eMc}k%6 `bƯ:.)ʤYoNFWi }hT jG,B9=apKFIfE2q2? dT4d;$ΧTڋ@#Xtaݓ;? JE3ˡU$CO#6oN}<%xR@$u㟾+cV`>iLG'J7wLSxuD "BX8z &!z1zsc MH뚃.& g&jwVn}~q5ʉYb"RZ͏P"̬SgILpΦ1ޅ^.du1lE߂B|Yʸ!u[rT^R]"v6Z d(=tV/wq j$q[9]C/z*K{.:`d4t%)"&6Rd:7VC %o_Ex"ٕcaK2qN(N>FQRV-f%rbjHW%,~\acsvnjL,A+n Ik*M[!]>=mD,Z颙GJHpP/ͩ'|*4S$b!1;|Lւ*MB7?`RMVmXb>JN\rR-jIO(6ͽN[ÔTkSk' 3[#\t%S](L4Au:f< < 4͘;C-/c쓯WJ_t=&*jc7K-J$<7Uc . LZo-8`ޝO^ Q+nu3m BlzZ|8Yn{:%BE v S#zo ʘ ){䒆n0 N ͧ{ǶOwp!\{oeC.bߜk۩w=zD41FgYZ7zXZִF! ~]ŗXi%6˻aespmTy6PmeYNمeQDƎZ]8=T| uUs~{1 iڌvrXUAmkRݖ5nzCRܜG7 # Maxflow_Libb?3_:.lIbEfn1-0ݶ[/?(i 0L1sU] lڐ&y!ⷹ4+7~@x I Ul` ht!@$q27ĺ膣w7xכvK^gV۽h'a+ڢvuT$[KpvW_o Ƭ%~:0TTOfLA_hA EKBGy#<5p)aK<g̘ZI{]TމwФ)E >Ç%t f>(~JFbM)&hx;`]ʋ*ᐽ-p@+gq?% f=zZYg-~n釥w (I"\-y- :>[@y WDޞ3\sEE,">)3q%kc\?rvL׽,:adyAg`r5cyYYHYωk|+j3&EY}_~d/m=@rɣ;"`.TohM-$[c$ )ٛJb'NT5|K %; w! J"׆p Y?Q)M@XÃ63@4.M9r y zIy޸^}Ѱ ~3.zNb T|Ba}gwwH O\pnUbhv!wo@=tfs )&'oޒשyEДP%m`DtO3,Ѻ 9 ~ )s25;E(76_{!F#R&XV5"Pu2MIw/ܳ(X.dxjB27h޳ * mٻ]A'SFbI/}D-a+QxNB-M<Nz9{ ŘP4ٛ<ۍA)Rٌ"2=X6Ht{.u++mp_2mHD更L -ԟފsu=!z5f@/;?A&~*顧?X!=:\So;F>0ԛ&;}}?-fDX1|޶? G*->">>%f`9<4hD秉<[-h[21xًc h62GSpAt7:SH>n3x=>Ne. *pVxVe" gC~#.BjN|c<SkdInݏpaRM%`}7[e\NZ_f(5BA8,*P?5b?j"/%r`[+ "ZCYs%2汅A7T*iTH1J&f9›{,YFWs$ g$j@rOmg뉵߼ϥm0YS.M^B\ !A|>&4)=F?Q8bb;It/Q? 9cV> ֆGOQ!2x×\~ d8/Si0eKW׈0q@9N(N֟5;(  ߘ(#>D!\ˀ}Nzɂ'WltXCV];'<bArǘB^{*{~Q=gIS D&6 Ή`U (⵨f!`M- pd!>vwKv-eaviF|M$ؗN@RnpJS4$W ;0n2'eˁ{́鎽M0Ŷ;=p?2{lFL^]e07~6(.|z%Ō _yi'YK2̿2HS\ԮMv7-{) Vsj3S ]Y]V;]*}/Vi/` 'fM`6ߊ"ņ]xT$w3ܪx01tTp A4K;8_) ^y {gdh&1(yڋVh==FU|VvJC [*y%&SڏDTL2:VCGک8LZ,3᜵TKCckң%;өؚO-Dg{f_.988 M Lo*wQɷYY"j7醾df7_LBeXFjd u</ހ(0o'XvoÌ,8*|-铭W؃ngA}QXW!paw ܶ3 dC̦¡7 El^;_2dYel›>ݐj*8{V++ M>y߀EtN JA F ֖g-jHXͮ d,iF6`ֹҖ"ǷJEJX $~s!Sn7pSi );%XUF j\zЋeUڛe* R0I?NfzTE"נ6q( Tcu^Pu ,׌( Dx8'Of ˅iVZ>BQK)]Mg!k$cƏ6,_5$ E^>p@('+{To^ImfvDL c<Ĭ{'H 4Ag,cLZ܈P$,w\JmUf'{8;4 P7.s|IJf7Ts(QCc),HJ9c:hluCn!i/k3׏bL? !) ;Ȋk'{ࠖTJ)=& Os.nʖau_ތXzU99$^Mn@BGm53tj%Uօ?%i r/, &"X$vdt[a %,mKC~ m_zX G:&9gKx?m5(Q#8ŷuώ_"D>2y^12JTׄ[ͩh)CЂQ0.Rik{qr. p-!<ǣft/P̔1[0 9Rx^}4(5)x?DPpsOח<^LQBzNٿ% G sC eWژhwڰx?i