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 $K<| i%]Ordinary_Differential_Equations:threads=2elapsed=218.467cpu=346.164gc=9.340factor=1.587zXZִF!  ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1g,?uTQd|Dniy!‡Fx͊cb̫k1dOE J;XRaW3Rbh/,]ֳ͠mSz⿙ ')|<~>"ڥ.yKգϣk8|30FG~v$)x6h*#St ٧YDNr[uk&ğEO!H\q|˃/{)&K!̙9l/\yXk\o}SAmˏТP^gmmגWhԪO7Cvȧ 6jZoOX^5F6"P+J}`o]42}]_g 7 V*qbL`VV" pw dUE@TRVQ@$6݉FD߲(~!zP`d<(DίܠBh9y;=o&c^ ;:X-S: [GP_S @| 4:-ܴJ`s&IESIڣTl9:l ="؋m37Q42WTKqtmt}E5ty3a GGv1/Umg!a+f ?c廑 SƩR|z<_{dѕ]蔽"]G}OZcGRϪ ӜC8eds'[ |,`.//?;< ѽ;+Ti3p~>JQqE9A#aea,xΖ?{i*##}]e+[BC 7QõmQGVdwE~1f}#k3 Rxn}} nq٩$ͺ~ xZGRh2[$ wUsP"KuO&mH8˲t O>4gbD;cA4[z1 ˴Gq9{b:>.^Ri}Sكo{A: E =8̥*_r?i6&x1.p|hO72j$X F͚=qW/=(6wZ5 4'l)r>t+i}uP%: 0T%2-0cE#Oܧ$ڌ#O5M*i~F,g5H^} lak!|F@BD!"adN1r=bvq$8:\pvy`&6á 9٨{O87h414#޺5qD(מ}L_{="4 j$"O'jZ ʱ'b `E޼a;\j]Ayn =DAω'-uPX輱UF @(v?B) 0(hDZ<ִzEq5,wFg/l{7?+)פz#ͰTD܈V腀+y6QEn\Gdj2޺7dii쮁 eƃeݘ;P &oԈE0=ՍAEÙ)w|H5g|_1k>MMjkwoMR݄Lqж׻8JzKM_+ۆbLGDOR$LEwO2粭_?; Owm/iﲸؒ_*=es;^jkKOf.P`~B g3RlcZ#jic_?`LgG/N5)PL^ MO;pOY%j֟a܆LQг{i]鸩̢>Kܿ F ,V>ƾ|s#T;Z. X.$~>*Lzbtz$ܡ Q󡅗gk/#2)QM\mo[](a 2xW^m܊?,mP BsqmWJ>. ȋ{C5 "K Ordinary_Differential_Equations*U= e9jvjW4}76ZYT(&@nLYgYZ7zXZִF! A*]ŗXi%6ygk4 7׮9Q\[ń"8煃#)_0 \Ѣߢ[fxMK*9v 3UQoHo9/4_x\YNBLЪPkp :2#Qqrw+<#]EP:9J}0 ٧I+V̒@9=wɒx:2#B,BL0VmLǫ7Ұ'Z=€)goeZA.UC0 0~8Գ;SD7ȳS? !Qm Bch*dLy$}i!kUYv LpaA9wB5*15;/ڌoPQ\e$p6`eՊbf[lȊγ+|gJTX\wn%~]IOA}Y5~}92aR痿LAYmZ6HhoV}06zSKNhlzϩ373+;@qDi"Tf۠(٥9ϣ~^#EנC`HE?}E,e`q]G$&-ov%J@(%4w`d"`ׄ V6(l@˜屧=9ѳ.x!!8F*OAlUcLm_MAi*7=Qflbj0?CފGG&.%2i1Wa|nw~f3 *qgNIk}$8^aykN )jN'7Fgx+fu%R- .?-l Eܧajt`KL'3Ў|P-@$jgmQ*GtwIxH;|m͍6Ŕ~v?/?X Vzn" {9Z'5˷Ӥ=.ze2=^imqϕ+H\#4,Zb1 UZ>G%}4@%2dOZ Ǘa:%L&, D` ?WQ1""TNs /ڴ8 a Dr4MCr xL`"kM:[YZ x'JnARW°/k~ Phvp^%ÉuqM-QW1 y!q0gEK eTCQU--qQ#@[:#/ )$Ba;O7M@'y4jM8?wٚ墛if}$j=&EJiQkPHra$߫r:H<.[j;*$j:.( S3G /[5$}Vc_ҐBd`(!df{lOW?PֽlpɼtVLP<  ߆$*|)*-E3z\Q8y\[Z޳0u[#$ azsGASXZr:4MȳmA Q5+iA熆*e[yLgn+dT* b,]ְ&_] 9^mdh;Q-01 p2I9fEzPSW¦JQ5x*>g˔=iEQBKqVGZ=̱bSJ"sy9L'1U W2Ysۛgt(NШFz1I<$x**k]!m8vq'hcm_h=kYU( [ƍvlJ\, N!Xϒ{&n\'վ[R]&We=xRA( Y!>lABj"+ƍkykjVaxE\V?bh;w*lzƴ*;8nz9;m䠀I S&;_1n$bНF`6#!eDIp Y!paXp880u*Ѯcy$S]V#7$(ݦcp;2jJRBJ|w>qT|p)UԣkyI[ЄcSTgB]$GܛnYKr?h2,m\9Wďbk:֞Oä{\4_A{<:Id(p EEyX3Ͼ! lr0(Þ?+?M̿_h]auKE#},|y#XɵZ? __Jz={/U!]xqOuRw:*~S#ы{%ӌxo}Y׵`8߾t*7.,1z׾Rhԙ[-3n/!Q?k3r׊^IvE0"*V8w4T4w@[ e5sJQϐ!LxwrdZ6sy2<$"L3 .5qG!S6O^49 ()3,3ݶ@b:OE= C\k{xH@(mG=JrSXE$ iW!YlR:\ܩgqX!!(<ύ8w Oj%i98!o_2zDp\WATCd } )/b.d Vͣ5/{Q6*嶷|}07pjXFׯ+,~|1H*u˒BFg[B1%|kiu ٥4[xʼh.L12hPsYPTRWTҥ-OP=EA2Ȼin+}j2R&y>k۸ &q@ӈQp߅156}HN?{xlKEBvlqmh&J;4e"||`yV,ky@& Fܱ5ڸ˲,[C}`ɮrV #"qu.B h52VC &1_sRn\P!fqưIiF0ɹZ<9XN-hþXmqk~ָ<+ U'.<=HrB&Bj2E40OTXopD0 W朗WT{ Y](wƛ[]Ta̡ 97?jnc1۬J Ч ftT 3`R*;Ht6N^Wؘ:)>ͬeA9 lňǬt3t^HYϕz"p#I7 &ZAi"c= <%ҩ1z3EI7r ^)q*WqDԡ qzHp&S[と7.54@!C U*84[2mk=_Ʌچ'(ck\=yNʆֹxS*6ϴd$Fs-'&bq֪لsb*KI5SRn@{*5xMՑG'x'L.AI7wC1$8\R[Hqֆ$[)F )BpVU&gREU\OF60#qTؿիiкHcgMQ,\8Ҕ/\(V9kzj{"B6Y_D>5pVQq{Ԝ,LlO?(FP}_Xk6|9A}/ ^@=t$u/S?m=BK,688D?4H@MAXT|N#"KO؟w$=1#|0~0i.BD1i4t ԕuMأ&xZ C L#{X[u;A+ 6(z ߍ7~(Sfn WrNHf0 C]=Vנ#zj~ Z H^~7=|tŸpEbGGֿP:ʡ,T.|q`4yAL,^;*dA ICX9rehq1]}x!BgpIzâqt ͣ c_60%03͠fx>M~HOji誉ZNP x& AFNٖ?Ofe[0xhxR;_9 5\]ZF2pG F̜0fs2%K\Nc7a=5`jxkuhÈ7&0xf=jFƝ/`@A^e[JpU)>LEЯVBm eT_ Tn-wP#pBԒً~[Y]k24O*I+hzJi%BvFVRe^UŞr=XlJ(f#Ŵ7fn"\iZD\7A1S%p%tKTn?EۯNې-4:Zĕl)C6hA*ԦY>wtŲ _=>3@ Wƞ:#שaa.A4n79)p`zIR.lBl8UB՝ͺnxջulA)FdإhsrUrJkxtj=AI,֖E *L Z6Rx6?TXRo >qG9v=Lf"Ael(ڳ^8e#AE4 .4V&[wB}gA2d;Nj?S[*L(ދuXIN۶\ dȾ&7ܘUv"0 Yu(tE!' &)2sH/hy@ߺڳ'5+n%wl.р))~O M<9qп$@=WǗه(1Q7@ -YE`_[+ ߉"Ku~asާŵJd8!"I]w6oE٧vw8\"@ U}c:^XLGkzA1ZZ왱"ߒ8Z;.C/,`tVuH" ;G|ҝys2ނ#ϛ>bf!QY<%,K@ϸ3ܟd&d)s\%,)#Gh7-"mH<&V-h&l߳U[~Íy:>YRŨ$)4 c|yxk/,<6Mp[ yq:hH/@]S UZEa]Ya I0]-~`OI >7tq Ǵ5f"4T9D/0PtBG -82*z21ҙa^?K[) 2`8]"sYB`""e ˁtyhԔ@V5a?v_c~ָ_!`R|X%-Ҁ5_,Cn/޽%G7DvkDIW׀Ҕ-j9 " ى;R^ d6wQYl>^:q.-Bf|cMyѣu IO)U9 Ggc)^Th.#s=[lW97^~-d`qDl~$U)Zq%23n#Y+,OzV*h^+*F|7"?wE~vK_8np4Y5iUfWX:3Y%Q;X %} i٭磓ZRgGc+tcD[ͮ&č1=CxG_jђ%7&m.%|sQ>L襢qa1K}؏v*ӈJc.G V# <Ԧ~왜I409\)m LhBP +aM9C{V[.)Tb _Xo q| ĩ#qA~Zj.v4aU@q/