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 ))?-D {% QR_Decomposition:threads=2elapsed=252.131cpu=447.844gc=19.004factor=1.787zXZִF! ]ŗXf1-/6vR[O^)!f!'kG݆As6Á `k ]9EvGd;ޑiޘFft_|6/om dÕAuRc=7ɖQ?y[+%]S7@-Ӕeny?hN.UL%~RglбࠤUj0@z 6c_L꺑m=I1߸d&tcavɏo28dߺt-Sl\2A6;'箎 nsAumx1Iz?Gk] \V@6QL@0"(pe8ŔzgmHxП,k>y2_NĦspRlnQu]v!`\ ou%QPM‡Xf:2UEn!@<$|bLY^i޷t  CTcu Gݑ^z֋φc~hND%N[j$f#ǵ;IrKFfdcR]mo>1FX>Y<MBCW [(Ś|_[J&1]6YEJEJe7ձ*QTP{lsbOޑ))IZvUc kn1,4$+J{ӇtK-R]pvw&23T0X ex}'cX!=1[/~sK4e(d|*hmKG҈!NƟ#Ϝ6C6Fs ԖkT/s}efa>nlaVlpfK#Q &"k'G\[qf~FQw~YN#/)h Mލz}_3W~Q\dH -E L*?56A,XƾR+ߡke z(c\)~Іh+$uW0&Twv0Rh7W*6%ƻ)+Z!s/%@),о_\ ˸t|Ksmd]"1JU&W#lYJF @@r73YҕTXO@Sv #u*H/_=rŊ!c'"jW*ɾԷu]c r$tkTګ 0.8a@;,3gӜj- ,^S%v - QR_Decomposition:u4;bLeo^cʾxN:}\ʀ}rttj,&ag=UI7 sY Zsz[%@*ybiIu+%I0'?N8@5tiD,8=MP(vr|;8@|' wއn?8kKxyQ>}*NQn/oB$pJ7Cw[Opɮ%msSBd]>(̦(4$Ժ-:< I2׫]( 8&)ym!d%^REl,\P+U,{!2l|`"3aƾ^9cau G8``>Vú1辮k[{[u*&jZ]mHCUN 6vpA޽=Ýj>sM&1f>F.A61'7ί[f=+)I~ a14:z=KفŽ-mi9TRXhoN™ZZ '੺)9!URfI:TyUSR˳gĥ1R/Cm3JF[??6X>Q G5DB:IwTfO| /r >mTw&Q`sq#J$.% QA 7}lx4'#V;Yxah:mQO5Qӱ[NH'̩e{BަG|`,8N//*՘́`Vr|Bzm.w3tJWНz iAC<|Ƭ3-i 1cT$k)x;Q-)imYpZі.Jb:2. Su,I4oKR:6NǐfF69Q\? $縩8G8]׿Jus*Θ @0DDj61?Mt?5 ksM[*zHrŁ}v¾1qk>ZL|4KFM:og~vjA!rb. hgn=4J7"Ev&>{JOQ4|WJh/_8dg,]g{-{`GEm<{NjBtpOa<gì526)e7&I3V()εf)$Y;aXmؐ٪)c5@ -f x En'L\ã2t-lr,;nX%kͺP\XRw,̿?$:}52a$s;2}a‡SU#3.P":^qWCm ؕ[!Ƙ̭XSQt̫i{BpMq2Wpl}("(ȝA$58\6;~&fbɿL5P~UNx\! 2Ԗ]1?@vcF9ֿS-v.I5QLUZ{Z'E@U`=.I˗7pI$jVjgu{-zMØITd`_ѬUe?-YQ!Y? V3&&UO3Iv &t)\ UdfT]Xg#UCρ;$2 1!wI9nu ш j=#ڵ ݔD8S03Ѳ)(.z$%8MtHƘ ܥK8j-XQ 9?[,J0V} _m- `K{w y`@5%s^0 `qK^/TZГ t9B_^u+B#Sյ; V H,-& ĵ?JS_n>Z*DJe}$ OKCŃ#v_ud;ʿ -Zk%c|,W~\O˻+AVޯIGi A@":`%~сMe&DqӲb@E_]d5K}qrSDD]NcB]lf,J$}@OOސ:6N ax0#m[ =D#󎺈o6zzUq:9]c_OqIʐi_+! T'k'h[Ht+aD3j;L#y K)3gϳ:S8t16F a+)Fߪ;`PĘL^v)D+z>{q;L`[%nw `mjx׿AYH2/B7x*k|}J,[+&( JH=NyTiDze=ɿV4'A l`ZgOeΗp5l*$ #"n99F0+56?J(L.Ҋ!>qIÆRxEݻUz(@ǚMcz50rCWq[Y]0ۍ*`L4}T!It3 jtu\O 3 sA~ϸmܪ y$GwLv?Ԑ.zfMxٔ%*AL2yv3@(\UPdC>a$Gՠ`qDTW+D5hi!c[UYOK8dXmvm 5x'RMV1'"4)H8 MZƙ!"ie_W@lw \BLX!Qh\ c V۽I3wkYs=2ښ="4s qKtv{dKlf2i0Dx -HSֵr<';!QN:/+,p j[Yi#fڝLRJ 5j7 =U"9Xt s!9 D+:v̽gJfjzWhhM |g!%rRk֪Ⱥ2`q|5foz!`|g8}! 1חZ ί' \)~YH}ğâxS^q*:pEyin:I_E#5yT/'/+3cf5ظDc,Mts,(d0n vx w-6FQ 1|!`*?YJ:s6hy(Kn_디lx\ G%8nHQ{aUx>4~:]q\.xѽY^r 2n96 QrҌX~}}W^;×I]blK!Cҡ9Xm{43.r0˱}2KEc1 eCU)JgSqnǤxzAY@sh%vM5itkoXr FL=|q>G\xEsmMztq_"d<{y퍥cx9ѤN"ߗ%Wo_g$VƱic EɠΡrUO9պWF4Z¢+籓 MJUS`)o;׳aN[N<3!Gm_3ESAl$İ'Q"(:.e<e@*CXuH )~F8<r.yx^`!qt SGx.5EIiG|FmKɃp;bYOErE9V>,̐x8kQ,B]2.f(zPu'2юůK*z<~͊jE˫>.nb㐉TWi[]tNa?;Z \LS\eo͢i&IvvYhszzj>Y[肧RCDu;ALRyz̟>e LE]__a[5$Pv>0ͿGAQ}c-ITL]ۀ-*`7tq,.7w@atB~Pg95Ip][*|:m_Lz[:+}8G8Q&J5S .h}ijJ~ bm{K$*6nkʹLJVP$RiǤ871}("7:m]Ee )k6!^SyB- ]վ'~֭0vlH"shw`y+\9{]?=eMz%#9à ?jl-e@,*uq$Rk= 4cSW,%eBXXB(\ܵGF 3Ec 10$.ԍ-8v;jY|R29WDD5E %,R-*PX=*{49@pm^+p=:F{BpGt_2w2|\%ޕ{~ <$-S-|Q%,kbe 6jqhQ $#(KprHeم \ H :3j#R4q'FBw \C_}?I@M{ `i^ߚ\'4c0K9T]E3,;͚ m)X3ߌ'Z%pP}.RuHm=RnJ ƂHAWQM;[ /=*)~ZhĻ|j/M+U]zPX(^qsuCP] s(_:'=u}T7ZG|2{80CJxLN y%nWZ.?o;43qY'_ J'зԴRZ{ݽ\ﲢj礖p Ɵz8rDDxNs[`KңX l{ ixQ}ʌaL4QTIyksӿJYxf1ԸA 742Dpul>=Npֻ%Q/u2Nw W~A*emzԎ(y`z"|Qx~w:)uJ&E>OMO+&c{K1_kZ}zss<˹9e\!4( Ga VQb^"c e⃆ ,_J@GYb|릾O$ֽ8BwFhm'n a_!nr}v@p$ ePNע~:?ҷK {4·GG=ǸM) h2h5+[QjrFTl e:x; 6n"A:d_Vv<04$m:zźuBF1Uqͻ{mf<Q*)@GJuB*?Ҷ9WFwhKqnofk٥ HV  bm2|ɗLyLZ0q~w>j8%[3Iy^KmK1`45Н a!wSWPknhҵ+քZ`B%Y昑P`zO)}H$|wQ`>:OšzQwtmttwحy6zk6E'`B9doS8ߒfr^<9cUjM\.bHxTy+X{>Cg6IpiS锊90o.}!3ߵ0%xQ!:S}6/65\[OfӦLVX53ju^zvHBk ^AͷK^b۶e3dƠ3!A'a^Oe g G7<[ߚy/mu=LC)B kPMп0<5nܛ>SwҐ ~J"a`N$nkIVb#e ^6l(-PӜ!g:#?Q%߆?{ޓԐhgpu=ײRM-q_NWl*g|oq2& -dOvXLui>[AL%}:4f'+Q|,!`jj&u A>&e66TS[8z7';g;FS-k& rCGhe>sH! RMb sZ~:ihi'>rD3}JCmxkDlWCX~@$e+篏Hr R,񚔊KreN ig*}B󘭬1\Jˇ\ӨdܛdqC zi(ginQo$1F8:[AX%$wt#TU_GcZn嘘{lE4,/'5:i)|]qDz$"Drwhu}&9:|f%Vs{!i{}ټMA]N p;" NJ'2E]eKK^VTM'ک:n)n`C֓dV*A_ӚEر5~Pv165Vi7w*rtPv LC^[>MЩq|F0D@J߭}s2yj=Q{;K: X1)H6a!y7p+-_lA.IK%} { eJ+b~NB'~ܓ"} 4gwd"!}jfEt7F*xM}UgQdk<\WўH£)HmQaј>jKNvKfRRmxkӒIr#pUFql5+yTgwpޔ Y(_#6'8N]㿭x!hF]^Q/r|ࡸX?◙$Կp\ ?SAK̿gd[73˴-n[%}Dd|I̬S^ތ~drGUQh͗XaGlE1 3ɂ""8ܗHi=&$Q I Muk<8)l|ZygSZ\$0Zz