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   e-dLt ]m]CAVA_buildchain3:threads=2elapsed=165.726cpu=274.180gc=16.096factor=1.657zXZִF! @l]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$GwAN֟Ά_RD7cpG+,.DgX̊FMS94x$jGo>u.&Fx7$xX+Ίt?9c!Tf%\T/'|RnIFH5Ihܓ7=oT@)v#u҉ ׋ݟ]tm|W78lw#mZSڋ^) 16ɝ%,nsy !~'YI7F:هυp(/rp,\Ҋ''d|POAշW j92uI%kbW4Q`Slsh>:7k~Dl!9ǒY;EճVuQ":#rѯL PɣEsLH")qY6^^Q@FU{yib??~CM׼~M,zqAXy}dt=%m w3GL7 Jsj.è`'!'3H{J3GG|ډ_xt;0UDץwؿMTah؊^˯7cԈ}?CN]IHɆrPS]|dzH(zBͫ&\Bk9zTp)1a.[P&fH4)GAK4aQ61k M] } '$S@ۼAJIv#g&m*:%#@ƅ4g 5Ma_6|V}3S*zB5!&yEG$hbMrktLGr*rw,󙒾A)~JHhy\:=]GQv@U5p:mVk"6[".I =o I%~9IUo4erp)+`;DIV 2 N\kop!rÉ-ࠃ/R5eeyui? g R(SY)U4#/ ۹U_k!hgr#ʋS+򴯁DBz*qr^$_ ߝWލ+&6j^xiW?,70&w,:"ebE;{ãKlWFtk,ψX%ml e?gYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Huho-UwT}-ESeP9݁jm[F| Mq`ǽuHx?Z9l"^3M@ ;hui{2NE\\?!˻ɣҵL hYj?I'9^к9q2AH)<З}t[+c[IO;/Qz$z& FgPw),/[t)Y-|O<5K"沏%LV gYZ7zXZִF! t]ŗXi%93qcf[CmFx*#YQ<=;s!Z0$+o(0nB5= .ob~BJ"~)Mqϱ( 1sve?Qh$"z??#bm 5.фs7R%<&r^E;p|AݜZpͫYqK/|IKys + apz,gZY;}DfY]n6&gQZ =uՕ - CAVA_buildchain3,v@$(YSaaĊZuIx}#j6%i0`+P5O!Q,\t<T~$`'rgE_gW^Ֆ:En(x]\R} &9#Cآj8[*5YEQz_K"UwU*?s~fyi{گ;Ԏ;GJkPТ^Sh.c2M!Vz|1 M~ KpOCeg4(z {tsí1C$fƻ1%W|YCX!J!4[V}\j},KCqu@|%)K=W5F; (Q>sw~J_RKCp3TrWƀp]&Xj\621PhGSvRFrqBllɃ8:~x#:[|">a^y|=& 'vR<\gͻS'ިށaݼ"CEPRtĉ7[ G{l*kcܻo%>U"&;䀽Gk4Klm,"~6R}P pz,kliݺSILaMXtDW5ߣߔ MHum']-UK9)&hyLkdY$DAC> I6c#uKFg´73O_bKT< cy{Ai;T}k ` ;B@}E^nak~[괄 4tu5_8lELs?MLL;hoIpX/}˘~7z+Fq|6Mf>m|npxqwHw5LTtZ9ˉ R*tPhӯdiV^!{Z}wofS,R5RxK16 q^Pge}8$ *8uVw F$u_|ó{~88a7Ȕr>PY>flTخ*\6aJ`6u Bƃ+Yrb&sw?-0aqp\J$ jwrnӥ|T(ŋT諎]˄껳\;ܥBϗP3GL^xB"\}SW ;.F]p*OJp}):NXS*n(G`}ta* ${"*$$MҥUEԞu 6tI4MKLxsgEEoF]&koΚ 6mJ?+>c uO3.^=ilɘ4Z$&"J:Hh'[)'g>q‡;LT$1n),; BXӎ!|"NA@A`+wxIw d_q5q${1N~Puu:r xLlaGwz (*o=j!(y 5HZRr)eq\Q Uqzn&52;u IܚyELSSEq3x(8MdT91zpX}eƹ lr!h쓭eTz>t dAbc@pX9V ?!|*|f.;tpȶ1|*gm[a?*t6$KFv2v(KlP2P; ol{!JkmLEQѐaw{)p eeL]a.u#*e:nutn;rgN~y$L O{aDbX|rSFeg89w )1ݷQ+{ūD rx"2Ec#כ1YAU&Kl1&4R2!8K2O%Ge%Q*WVadPn2's5[VW7hֆ}GlrjNƾd-WP% *'Ytd+NEz ($5Dzw#qR5fzh4 3&9}a!}c|((Y`81t9Ay:Yj6nQ¶g~ ^$OvF)!1*}U;+%ddՁ@iO` r"0ΔpۆR@-@`QcKY%(oՂg̽&a(n[5R˩_Mo CP2(Pǽ:18՝Q b 2(-p핁L3R u;2{oF$^s%'3f|C\MiFQM kZi7[hQ !J5bQx,}3gWөoI6Yw{1B,g:@'f*d&ywD=w2;qvN+{߰]503~Wܙ?foA-j.<-UNz-#gs:gl+e-xm0E.zzƠ]Anr]" JUSEF=A ֟? YL>YP;`ir j{y9?.k ԝX 0{`i}gV bYQz@0q[@yuji0x>FP;ֹ;2g BSuJg]d>7a()c:FTD [l֕ tbIc)?I'p)$YHK1iG;L}ocN庶ϨaY[N$Y- s8`B;dB;#}7 (+N {)SԩB ~"Lp|8K>?oy8 !'}77cM%Vs caHUnAE>9U3G5m\Zpq*MQa#q0{rx*(\WO1䔶#z@zG9$;չlK 7Fi0c9qU@R{gҼE&9z>ч@S6y_{{';oR)R0\SWU2K5 'xD]`} n@4cEuET J (E%2I􍁝$MΨ-+ ja=# :[C\ɅeZa{rkqqi2JV'҆Ӷ?Eqxvv:Eq3!6^h\%e{RxmC ۵}$GgC Q}t ݮ4tcf_B\iX[bSm@jǴ5!ƅw/BΈؕ~pO1jE,`aE=i2K$R P~~]nʀb ~(j&` E9[*q2TyxcJF$ HBZ#{ XAL3R L2+kFLؕq5ee);&xRNw/8:|Zpj$2FR 8 Hǔǁ!EBsT ԦO`Q+2j#}XE;7q(AϹIm%7%"$L]%2tZo8}i[DcU3NI5;=/M*]~9 y4U(:֣)h.BY8$1 'o=<;N<z'w4{HK@M^vmcƽ20#3/,.,˹S2)On>ID65bZ5 z=y%ZOyx7vη|`@\2C)!}#։ң`Od:xw}7ÎDѫ|Zp@58 **A䒊/~cDE`,.5V%g ⒐sc4>H+$1i peƥQy\& 3| Gj~ܳ!%h^P|PuAd"bhjWȼ GƸ&``oB25PVG2.b}*guxՙR3$]զa` _cœšy:( /8 Tء }O!:[^\LYQx4}` IFzj+rȾKiɕ`hYaV x—d4$u7&]afs7>^շхHP7&75PWqYIYd ~c=癇4.h*sfư属An*WrSw'=:.¶EhӾ"_~">uޭ*#7Djхtݳ(#mµ J(g5w*=/w 3.pZj&u;{^ '@2͉MfWlͷxwq:3+:q2h?VFMw>%v^.uMM &M޴K[`H=h6Dm '330ub8RT:{0fw`nG0ByylJ*`8mis.e yH@%xb :ڜ809D!6ƪؽ]5FV"t;0Aa EA S쒃lٕI#O;).~^r%ӗ:3.2]*v@j33kIo;rK,OI2ҫkKla_VO( I*D6jS^v@KΕ=e*6!5TRi5`#Czۂ嬎 3}.,ѵ5g-RC+9/y |uM/ל]0Iؠrhw) F$bC!,j4d{HZ} R2,߲a%qy7D lB wClJJ?%c;#I4eA gcu'q#x}'Lpmx^vcLsxw֯<>4K@o5]Kpol#w&$tƛq8c6xQ~RŮqd[?qN6}ɗۨrB纹/DHM߽捸t⬍iոws Vp<*cq g+.1h}k/{8ŀ,IoY[uBt+IO}:}竝R,W6"ś˧&s~ kh{mTXW{VMpxCк<,K>TaA