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 ;' \< w]CAVA_Automata:threads=2elapsed=69.836cpu=98.692gc=5.520factor=1.417zXZִF! ]ŗXf1-/6vRZxY{"QhE'IcRfZ=fi"xGW9'#owqaZJ_Ch ' CAVA_Automata B/lp yI/]p;w{VE U"k7\͑H=-pA7;Xނϸmd+]vݵHa㳥|a2BtMᗲc](_d߿ %kǯe}%6~ K>9{;6ݻ /të֌x[V2ZDC6*KcQxmAó#x:4B9絿zJȃn嘴q7DjZ܍<)r2YW-Qƀ@-QULR5o1ul;ޛ}#/pP w*]F 8А_R]> Sz <)f}ҹH=U ے,ߚk]hhDwڪRΏRӾ|m 2Ɉ6nJ&!@]Ma8>Oʨ)cs!#BY2E^ r"n!TDx/-J×m!?$(AQI >" 2.$%9gQMg:X ޲ B_L0Y91ov=q?z]ꔢ|ڂ5g)!aH$qGl FFs e(ճ{K/Ə(/Gp8Ҵ͂S ͹(HU{[zq>;rX)Y*>E+ # ]>46_Aml/ 3~SH4=Ӻh_M B̂/CEޚL[P;[B*MRhPobrdKt`0`ڒ=0u|zY)F`4[ݨ^u84l-N4u:83H 0'1%q'L(p@T4Z«wV@=KM{ADswtN9<#ɩ޲0훩; Rx ߀jfnd7Wrao)+ARma?UAIM3SݗS))"Xzq;>ݹq :z7W<<W:_$uvq~5zFi::C} YHbB<ק)+& <3WC{d\ x")LbsvX b9 jR-ԇI64`.YtUSsb cIRA$ $wA~w>zdol~֓sgm(\/u" c lz7_j.0'RbTŘc}q!RB1,xVEڇfXi .wC+xp2' 4F ڐ^N7"DĐEjM3&*+&eǐt:'Ȏ>Šh L1_Rz$3ClLl'<NM[ȋ4\7%djoV6o$`m>]Ś#'U[y=9˳,!ے_NR- &T^`^*աZ@`;hobB~jt^z].c.=ef%Jү &h}*t =÷vD T`c9+mJy7㌨?=/u-kݮe"&lҵe{(/L9 4URtD-"-{؝hm?g;zu銗a7ƈj,4 FD՚;}/wCzFCI{neGAյP"hcWྟ gӽ((dvX+K;1蜚Bum#|k,'{K~SЮ]x GYP)f%!'';=.]) ?0.׷, QĴj2eu(ZL.hsܼRzd xk-HYԳ|̣qI+Au#B;13趏ցTU]K:1`GԜ:v%3I+!vkdg8%AmDgػ#=&hCnӑC3BX;G #Vʉk:hVqр#ǁ?@bo&0~hN;ָ@nvxHݧv&#hs{}WՃ)p^PyWGt > ._݅ݴ,цCz,C"p`-:rނ9G&r6VQs=[EއtvN8]͟va Jjd;S3qkb&xVV~:}0Kee-C:ǻoIY]JEO؄?k- yD?1nlݏu@khjJPˮ+с9D~MiX=w$͢ j4 ^H3=U\4+ >2Ͼvn}x-Wi)7P\]@)!DlViPm]~`~ &n s:<+h `<\L{Q k; 2,6qR؝ bWΥ DX)qJH}[`ѷB#SK"@fj*p#Qhr"ǑJ;ŭ"U2{4נߧ1/~Z1>[ɓ|r͈Wh5=ꙇ0^qA"=E$=/NJ)̦a+ܛrǛ{;+b&;>F6ze8˦*(䜎ՋyJPNl6BiDD.0F&=M2.Ӕ7XPWhwWCfߍun*sG(*cQ95_,D0J]zqfݧcOT7Z8΃*UC"mE{)RnyR-y-h4BU65ZFi28W48rn{zڳvY;v5V`+ð$"NN$"4|.e˹#i>hXN (eIfK?ۗ+,;]4)N"~EGy޵iYlSRߒ` އcN [eGLIr:ϋ 2.r@sSnI2)zSkf"Cl;;4*WwӂKcxn>p+ ]GlR:ZϿ: qWDJRrT:Ňg!YS8 _e'|q29L9w$O.Y**q׎>+`TQTl+ U* :{/ϱ :")5Zqix&l~og,:%r`JGz45t}%x|Nhį狈;F_.gx{!'*಩)Tony3{IüDhBp:a_NH4~ U,naKrD~zETҮgr:ċ"-_#`mpTN^[|m#I}T5rʭˋ? R@XtepgHbv7Lj-ؤYxXMgq0st3\^gy38۾x| V41Jj!{Um f0|Ҕ8XW[@z|*kmb^ms\ ?mH撉-~*rTYǞj}l`V$क़c3+<}`J^LИ8-`WꅜC.,MW"zЄL-qk 6ғNW ҺW8F#yCÀ7W] 4]zz#(!6g07dݰsSvxDVmwF}#biURG7Ǟ(Ġ6=0jkۓOH7XYAwhxޜbT6rPR<Ӕk7$!ݕwárD=6ҁ=0`'qK0dq9&_ q̆%]%8Zc ]<e:Gwʏ=JoֶCf?D JT=AVz'1eUBj˜BjG$-B\hG+R~e/9VaYRR = -9+CۆՓN~6ofm-Ww+I+٧v]=lZeg~JrA5 O)io#[8l LLp9u_giĕT 80wo+Ŵƒt'=DYAxzzB?j)=zM }\~);ԎB&,j ?LC PVW E*qCSeD{ϵ!Ò.Ϳg1`A:y[*}.I Ҝf}TS;|]?)^Q6j@WC#G{D2Ɔ*?碸+@(ZeNFr[M[ YM {-p9m;i)84njI l)bmZ.a=% }?S_~Q9 P꯹qEww{p~xW_] 0!hiQK3섴wEdZ T&$z7YMXN.dfq 3Yb{ ͔,","ɈlF⋬-[͆tl|E~!jwL$$$0.Im(ZZ層ѨK ѥ"y+mI𮱃Ae3[m$&d#^hCB(F (ȟJ=<M l% &H龲