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 EE,%tTt ]? Prpu_Maxflow:threads=2elapsed=148.512cpu=226.460gc=8.672factor=1.527zXZִF! ; s]ŗXf1-/6vR[3 PxNmWO68ePiGTUL-tis-D^g-2"b1z_p}JFѽś!9փ!(Oi7JB Fj 3IŅ5!#琉씔 SYևe2ѭ_׌фYAko^)'E`,48 ?]lQn Nt+/CC& nRmdOGG+nDo.(Kh՗n=뀿+_v44:x>NrR>F~opҎ>&JIzdWHOӛ;(T= ^DIr}4v/5öʍ-Ӧd-8$_M'6YMR&hq1P>pҫkem#گ]uk$MǠH;w>e@j}t𪂍ϩwv--20XnDagulR8L+ާ]G5HˠeǘO݇k$.\M>Of!!bs]Y*>6Ӵr_X]q/>e'a|v" ,1Pq)0bQ%ă <v?Ftmz W6Jc?ZnT~vG+KL)?XVW>77%g]J0urQKPnZ5*~YX=ѽYG.5!Z<(R<a|@.qa0~GeyRaEcb3kܐJ+p)veH̞}b{Ux2-Ebc}EtD䃶=505⿈Ȼ=Pe„ϫMy|QG\&T/ ق:Z7Zp/s:6

ۇ3bDg$ހIn1- Nb_U;L[+́ QV܅ȣzq҃s Z*=n^f\g+_RW%F&>ﮨ.vsv5e s;8ɍ;}FLxυ0} Cޛ\7=|OZӈcvZ#aqwyz)#wȷSkM~? FOF[bBM,c4ʭBtbMF"YLj^%u;/ǹ(OTbC}. -YlLQr |3{!%MpǯHN*c4M5v@R{*_psF) VRqox#T m./'6%SګZGQcG2_KcR%ng~Bu-j$Hx2d\sY8GGb5XR|Sl/(؝q]8(5]ddOX{fjԆ"y`Q[oRCbjKISiz; hcЏG?0c(:%mfaJؾ+Owt_ԯzV?; o$eZ͈R$C*oa_D ,yC giq*P%: f`?iY]fq  D2LCr&Za$K _TUbq1;v8;5{JAM'rodCo]VŽ@ @#Zpu_ 9 hlK#GRh\JkGbF7P^21׈u9[0E#جwwWqovdP-3i % Prpu_Maxflow_s1/J3-3KBC4/6u=mqX7E$&7u*uu6Gù2_[w!o5>X8=DM_ǾOZamH2 ,=W+4(i_e{wCZP5_8 qМ/92*5P7 L1jb<] QcL՞pa}ruQc< Hrdq: ( w {_aEP̮)CǓΰL޸# yphD\EK0eMhb͍L-%*|p+]P+h4!>!$1sNP&1Pf4!,uC%9~.|wP{ ȗ άҍ,R搂)$5Rspdh,taAb4iÑA*AP[iI~mR~piB&DMwX.]1gn? @d 6}KT4"2k睏$*-6V=>' &r0%nЗT`bM)Q5+`!:Txy__Ho"kI.U5Ns4̟8Ǭ2J5z #n fD6j~|j#@:v .r9H[DW¿s,Yؔ~ƐExM,+6:x&sݢ}*W@{F3xү>!\: a0']LM9N+vox&qZK$yj2ƟOe-r݅!&c#7ǖr|ZB),z{avb}G$!AT9kk\1=H9njARX12[_ج|&*[8\ޭ^;h_{jTjh\;p;>: Ujy.Ƒ9/W,8/v" 񟊥"!tFxR"*U `?@P8IG}"$!&x9h $:9s7Z isz)AMbGUDj݊W?A5?Fܽ>>rO5Y4vgwK.)B^&';pFhBNN&k,K $O5Vt^*М#Av~&WnR]Qٝʗd'[YAbVlĻ1x7ewx4>7Orۊ}f `?uM+v[VRk =DY\^P~q|?'Sǯ-fkhd"u:n]4DׅaL,m OohEOn8w=ڜdG+njt {u* 鑋2aj",։ŗ8+Dqi5ƽDXa6n1VI5xU-@Z{{bA]y.TQ]]=u֑nɁSI0ќ-5; `koW5N&ya`lCC%SS0GjNYWOͿ<5~5-X@b iLRN>< O[qSEDK~OM ,ZH& [LS+t;xmɎg:ނG @X\Q<ا FY׬>̼0lEu^;Lk8ŗb,RQc^=d _qf#%&1\/,tKC&o%y4%mAȳ3mP@yuc' xH{"dTuϮ,a<0=GoJ=>4uڗmﻉLtLœPދ)9qGGG(.zGR`)>ݠrc룯O"dzS@cɝ 5߽y=DG?^||s:,mYiI~Z~20F*i4Dl@sƘ+;B v0I^H4!+/uy(W ^`JЊc1Kބݴ@E{nW$H?+Lj'ҎR:X=w5{P njg(+rx9T@ T]}BA^h‡wCK@"ܶdOi:'^ǽFYu+KgرmN`2;nYV|& n6kofg@*Җ-"H8i ^n ni1I@hِۢ vmr_Kv!5ȅC⬁EL?_}uY /OElB$R-fX8Np;RohEIQmCZ+wh}jjҚLuST[Py,=8,q5j3Z! {=t.2kÄ"vC:%*^)x^?n3%f%Xla<ˀ4g5g1"S-=;~$R`BkQq:WP Z6>g5?F8*\ܟwxr"kx;5ǗeގS.~ dOLTKvܑ݆MnmWٴZ.vçZ-uR{f.@wSPי*-j&q۵.{ē)t-B孌ۆpe mIΰ ba`0#HeR f4L6ZRU+!pD^YqһYvΘL"CVoRrz^ߺRҺZdžȦD+׬_S627. B(`Ŀ7AwwEX, S(Z\w!RZUG15kjeG' `Z5qcx$KK ~DpmvGT5t!vzHHOO GVEdl4 rR9z~L q`2 u@ 'D(6[FuqpҮ4U ˗r mL wJ? |;[7W9|=;,xu*m6ce HdнBllgr,rRHaq1hRĹN&?|y?% ğaDN3P ^sc-kE 놟 9G?LEU 'ByE7gâ|.˻3d5lm9ge4{? 9roRlm793]K[iJE= o8*Nt`rcYb#t$`/W*7<"5o庋 -{VUtW{|z{cwjo K. KjyoХwLµF [ oqpj)Xv9혬