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  -|<< ]m]CAVA_buildchain3:threads=2elapsed=167.170cpu=269.708gc=16.688factor=1.617zXZִF! =6]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$L^=զ_dCnK='p#;YjV3.bU8`v ~zJL8]ܶrs[2Jը%9)h8S ?%k ;nUnғa%A{#GbKC2-gEa^]ⴡy7\54CUubG, ೱxHu8k*G*pdk6#hf(de`,a^|-_ 7$ϲ3^G+5Dɞ”=X!sEgL/YiM;(&͚a-~},֟D+܄+J~! #GAϏHeJz.(0'38Bl6X>{υ"C)ĵS}TÒ5SYeOɃ(`v2mѾ('b @s;$gNژ"I.pIv+_3E~T)ӴsN*Yt 498E?Q j ]`.c'GM+p QK`GSe섺rEVVB([23$''XyzE+WQm1lO&0{ClW慼n)uHDf`$hYW'.NnkIJ*ؒFh~?j&2r9 ș 2+b;79M`䝃i`cйPԏ%JFTadV\' 5l-P.qұͩLVV&ugV>o ^iz/kL8U%kd~+m:w | _Mdƣsbc}>k[[/%U!P@F_~cDb_:WjE oJ iNkF| {RgYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Huh`ӕ| -d$Ġ')\x80^%]%|Y_`{fD,#b!SΎyfkB3M%FO!42?rȑ<2 [.cPPGL,瀒)WL [$(7Ք۶v|O}'5jF)q9?hqӅ8cugYZ7zXZִF! H]ŗXi%;i c Ӿ,~kYf8~4YN Tn`:y.WI>(*dm%3MVz f>bd_.v OxXË$ ӌ.oOYQ}-P"ϟѵ^i]e=ix6bk 8'"=fQ >]w͌fWΰ%Hgs&!r]w@a=+*O/GdO 9_|j_nD%Dn]{G`Y% -nefԐY Ԭ@a..FرBl Y Qg$bm=;' e`/0 ju@2:KV7S40eL+ޞhA+* B7a - CAVA_buildchain3iVtFS~`y"߫T4:]׽A(_$ж.&"Ep~k_W3>(4ƃ )IT+2 =S EuSR$_np$֝'cm{m;_1NBUa`tLvX(GiA暏og[tV +o双N-\%gh8^/ʞOr'0v'>3LK ;D,)+EMGMy<ͱM& \ 7b1VUO5 f[WZ< ,|V2R "d^AUO[2dО&7%i:_.`jwIs&Lt:.SW|E [$i¦v]SnGBuO!t$4D GҰCau+]":BhOk(ƸhD/&b`+Y]"/Dz~X T$z?iV6"?+.PXѳ# RpDOI!׃|zEr<\"no  >zČDwhlM{t\ ˠ@;D)Ό@.;VU:Hr8 ^8X~ֵmlZ_~X>R0qd~8_7#O+:lgKvHW8~ 9>,u\aHqZT;łpz?0 輸RQsSt/@E2[9 u_Zi$/h&g5y2=Eq`{fYq\ 9G$>uy& zi Yu\~'S9.3Cd1dY}LbXMy4s:&; v`27O\F9t-}ɍ@!^/=AXa?١hy9 ɓXXQzB`i$^t\AaHr-?Q5.Ydo\g΃L*! s-^ATʰΧd1?[2oF&G0Aɥ lzѮxe|u5CoĬq2Ō{Y{럈^#&~>jyM.yD! t X&C%{cDJ1CwiY6s+1s2LݿvDiaBm IF0x G&=p/*8*ÖUx$gm(_ `$Q< m՚Amv m$ч%}9OU&y7vR* Y2Ve^ivcl>=|yf&Aq/|47T~[Y.Е<ʿFA!9cMMW^oނg@;bpPdۨ5 jׇB [ RΌTѨJIʠH/% SOSr8>3Q讹L,ꦔG^ ]|?SwqbϪsZŠq9{Э+&QOЏ?SZವ[HR:jv˜֫"Q(h:ֻ\`POL/}Fxaƚff>O,R *2! ,5JH[G0<}ˋ`wpŝS{D'ʒ]SϪZkaYò}).5v߼irP΅0$kJr s`bO߯j@v`v#X1*ĈcX.C=P퇬Of"x$_;)wktM{N{fΪ~CDC7`*#'`=JHȟwdiA#~V.7d>^E6@@ C9fK"2ŶI4+`Egls^ȳO1dw^8Ơ6."cO+S?qcߐg{U&|(r<ŊďzϷo2/^j MՒ˺b)DBO)hPkT!R+8K6_ 82pcOogH px"g|Z5(\JB$kC6.eDq @KۼjšR%ƣ}nImX%is%o1IZYNܗNa23kfa͙U-ϋl 46}Ցl%hbǯgތT3'l֙X,'(10▖xL+~@&GЄ+ĩ%ئOJly[rŒ7 h~]o!5[sU{SnFHf%LXXd#aw ᭋ X׼ڗsX,N,c%'~3~)t޼a{);IuFvsw ŤƆbLsfILT,)uK spPS mY sPlPG[ge$&iݵY.]gKlC͇_w)Zg^Ym/L`oZ-~0d;Fij:ei8ϦZvR#씡` )|)̠FMׇ.qyq> ?y@3;p Il3j~,]qKěA]pa/ ~߮hH Xv_V1ݍpPRu[?jd`Wc=x8J'<छ6Js\5fհF8mDd Jl"¡G!>Dy۴?9j$B"sS9IGӦe"x %Ebq<4s҆VeOv7FRo;u;-v, \ 6Fٶ߼,#QJJ/RBUɄ9&?_GD1\n*Oy ܻi"umi ;1*cd6>yB5䨅:X3>BB{bl=VL'#-mЬqXrlWMHGpGGBʊ:*>-u.$PZdFPNjŧ U>cP&78BtcRlC'4@p˼gscrTĕ5zWB:yrm.ld2,u"#6-xwEֶy /idV#nyQ+Ϣ@[*7Eiغg^YDžKHyFlK#9ih̎x/=T"sz+N[<{!K]i(H[!6qJu9hg;:4&%o{Tvnѱr{)i !MrtT< :>R`ڲ2M=$(wt麄ҿffCɍ <}Bm \<M๫vpli,g')[/6S2sJ[+.SC`7KGNl -ܟp|nRKyz}|L+vC@ i0zDx'<|^թ>]޷Τщ?nڕ8s>ºoJj,!HN0ϯ70itJ3Zʄcd޾Y. #m>[v(ha!MCs=lN93hrlI]h2j^Jx(I;Y$KcvP-L RĘaJXS lT cha⽪Xu6bԹжK٫`2#Ix&lʒ*V%,r 7-U5tJ}.X߉ 6$Q/apY踩\dDܢ"z0ᜳQ&7Ia?ijFWO`Z^[۽Ч&]q/ai%`]^W%W|y?K2J&}t#OM5vrF'Q-ˡe@sAZlZo\aU 0h1:ǽu٘*FѝǕ,!߉R-}6d}lZps݂+،x OGLYM =} )ZʧuCke"Lx58(%h }lj.O c[z,Rn)N v2ppoa]^Rc/ME6κ=yC 2N])hE*\ A9ʹDơ K|>h9c RdH>clG*3i`!*HY/F{Եo/IȜLv(1ya@~UM;R "a4<1'ӽ{2 e9 ]h `|t|ϖcnMJ Tu)Fi=!&cx4=j^8Q{65"|?)`}F]U0d>k =,` rS>H N \A*at2ݝ#$R;}C؂.lb@s%qp2Z`0uTq@9y"^w8$a)ip&A<3ǝ ~gI;>nOkA2&ek& c5Ig p6n5gc&-n89;,sܵ 9Qz u*b9)rAbY2C\e=}Lز@f?\ATq Q\cwDOLw,idqWf_7;i%q324(ʠ>0K kUQoul9Y#ot=F9mb#`G_cSسp%h 1|)FQns_CKiZּZdԺ5N[9%b)K~!*8~em<`?0NZ(2 ?U_*aAPU,ҳFKE c3Z\1"bKzV-T1}%Z5n]8 ]քD7)"ه~=iN2ۙQY2NOZ9wjyp Epm$v&7GI9CѕdZ5\Ϝ(>^1B@\~*܅r /I`޺?Teqz(W?l "VG>yM#ApePr:W |O%qW#!"Р%ۏX?=_1%bSQB=GߡEjsOrl !OѤ]2zQٲj*;f2UȇoV*`/~W PX S^XJ.b&AԀ{ꨏ|F>CO;Ĥ٭&3 դ ̢.rPI)^Fn`Ey9rTmJ*:"1|̋{v=a y"Km Ƈ?ڨ= :F5zk%5./a#jy+v8Y0J> ;N.hH/|G^09Qv1V p8h81 ޤdZt\v QI硡k3qYx`9胬fIDc!>~ts9]nD!{pD~8*@$-U1h2N_qUL <;8n Ú>m%a0EM ;7]З~,?w;:9Ú泱*Ry%COFkDa۴~Ц ~ )@ *@_-'mĚIYDq>W@ !hÄC ofG 0?{VeڏR> E8TLm+JEٳQLӧXV-*G|F{~oXarjJ|-a\=%ը_yL89:!Ç~@L@z15_VwyS$ifvj[W~D p!OEokbjⓞ|lFa\Kr$́W a %)k+ܘl%9YE-; B"Iݹ JZd+Gӊقp 6#gE \|:sCL0ug?N-[iw?dx"ω2[h*; RFI0F%X _Mkyb0BGF9PgV졆8ʒDJF R|/V@0!gٛNvNmSXg]egZ` :g=w~)y!QdHp W%dG>[<֛arE"G'~)t#c/o˭4Ft? 9бgYZ922093cb268e25f4bdac7bd34e6a06bd297a5e33273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 7b399c3bd720ea69b0bb8af6e9cb16e42d46acc4 2bc5e6aeb6d33c3537b8d07a702e3dfb818d93ea c875758061588b14031a1c01ad027789c0f73a60 5fc11338a3d2a3a10ad2853326d1d485c1580401 67ecfb6a5c6ff538431af109c0d7d481b6086fc9 e330a005207d5fabd2bf831d407f3c1ff2f654e5 822bb7f59da479eecd22a81e57707a09a88513bccdfdd05eba80805012f29999714689e3974feaba