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 JJKT\4 ]]Ordinary_Differential_Equations:threads=2elapsed=240.593cpu=403.204gc=14.052factor=1.687zXZִF! !]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C!,7|2R͉M{#MI1pf%Uk{8R ӄ$;I$4p \?`7K=EBw ʿ58 GV{khcpyUa 543icpn[BaQx#BIMl ]ᓒK*["cAwH9qm)P#ұZœhrNYQ OÅcї]d]-%ؑjlmoUPﲄZj4yܭE?C?&t0Z|TfT }1V :nX9p/Z}5,1jI(or;^?Ce8=0[nϸ91 'O`݌fU@X܇y^W P9WВ\/Jl 4Oˣđ w,N|d{A~x2$ bۖog7 +a>UiHGhB&' P ~C.?dPG _IrM̶BS\SUgb? go>&>2T0QӇ߾|W@\/D"e"N]Iϣ K%7ȞaYMs!{c^ pqu+ C\ӋR]amP2']OnΌРs]Ǔ'1ٌI`>ZfښX0=KǷf9ryVM\¦ bߩ>:URk5/ŧ8SxAV{lLx">6L>-_:(Y*:42Iy5H}TE7Rޕ}3`}د2_S{nn92V&f9*sۏv.sQ˄ԭ-Zîpj]si^D||H;5/:CJwnĎ򺌣41T]RP4_@ȫG_  2x˚;;׌R ɢ7fd=BZQϸWp!"σ-o@ɚ[;SlsgӧsB7,b:ێv./К﯐u++D4E3Kt:p÷4#w)Tp;+C+eK- A.di "1C|dtKgR+)@eqWLu "K Ordinary_Differential_Equations6D.ΈN4|'wp#qOp9ReUv4.7c@뺟ēD =gegPG`ГT|~LR2I%%)Xe燗Hcȸ)-twc3ږzT?/qQ[lZ$U%YnmEfs+R$V }{w'XtX^~~yсhHӹ޳u>Q ri_^-G=CJB E^=I"]DnQst.S(Gt F0%4ZvMm]P~1e0A C$(Țh<\* ? N}R>o3Yt_u(S8(&Fv6+Fv<_̀ӷS=g2bhZL#C&50ܡIMbL r;=D$LeÀ Q<kq̨DpFvRo>:rԡ=G;qZX(ґi=@RN8c/mQ.xUKq~ ,t!c7W]:H>2rMLpF' !QhػӔ ~Җh`pËWGP|\S`}4pRVmޘ)&{^9WPAbtL(QZO3|g$qӗƆ( X-ٚYg!Y4!@lgSJT#Y2rY;4^}Q\(3C> |1*~hC/?ZӔ9ςR ?s_\ `pE7h'E4ⴐ !HU\Df}Մ@\;dx9OÂgwK0bU)>oPZŵIqh89V}tˎ58ˎ|Tn]+W<,/J.,Ƅ 7[ mndhdgZMg`T/ȬT( Jqg)D;%ț,¿Bى7]JY cc8NC=mg ܉:k⯢ ߽?Z&c 1o %l:HFtY(b `f 3GD$5V~p726y[v[<)h|ʖ8VX_/JȀ"(8})J"棂3jy IOV7n/n[(vNP2 _0i9!'%w,|XfVy>G L :EG͒w^U) #^n d)<na.D~`O5VKFwGU7DJbYE$~^aTBՍգ1;oBznޤc8E~9vr 0Cy1X iIꖙ$؎ٺx?cOYOZ{ }1+1n;gͦ(C&3V̺d\wGEKWB} fm-b#wxaa' Q f\֊|"qMY(<頧q#wJg٣wd?cZWg MF[ j6W3wA,o5q:ܦq,xؐ^pF}YMV7${:aVoqju*OB0 `XH>PuӴ$8Wq?ᓢmDDi7g~4R#yv#y6 #3D`38P_CEwIY[.Y ]:^d,6 LK;~7mad]Me2s企x 6pת GA=2+K$!efg}/L8Ik s4*VPh/b<Fei|lpkw llS2"z&gYZ7zXZִF! &]ŗXiɟ1˦r+g'Dgr>{pNa5RJ8#;"² $8)W!k!w5]P6_%NdՂDee<8ïfC|=&{ݖWBIPo6&n3SaWN_:19z!V5&XB!7: _Bc j=PР\)I>Y7>Zll&\0pX?I2*{F[T Ha]6 7])`Qo-Ͻt2Iz.lk=\ ez9&Hs`5 gxsS/9$~wqf߽7=Xo1 x_zk,+.zl6j㵟f˨;i mp@A͢m=SrTGCʛgYZ7zXZִF! zS2S]ŗXi%9(R*yr?f)=4rӵ쭋y<ƬN4xk@a oLba7O&t ;HIz)bL&B _ pDl ' i;9IZn֟>36µ/(Zrzc07ɀ,Jc]\`xN11%<>x2nwKP3_\j(1:!LT9:4VFfp՝vu`,Wi8lǮ@n*At>#ۖ6)3gbu %( ė^Ebc1\iJHC+i5T$e @2F<9;ڭ@vN@h¦@tﭮ1jTwj+p&boHcBAO9oHC23M5ϧflj: -ʺqi^Ǟ:N,퐻˫sPk4P~I;sS9HZ0v Ս%=ROc|֧@CN4??# V0󆴟ry5T Z?EW,jd uhgC9kNTyarlw/2l:)ҔQQjArO Mh̘)ش9 ٹPDxC{mDJ5>0痏1~bzrd"}O<܎8:#z&oywéb ,N:20U+؉eZt Ƞ57nux[ih!$󧳎=z}5ベbKզŨk&Bv>ʵ?c_QЀ\xCo/yJG9R0wS'df'qF.QL鮥 `\ <&TQBxa%J{^c,;-8qyW`=,+F^eBzFu>$IŐx>a87O0SKa+r4oa:|lHv͡zqnO{DaYbcl_F;|YFَV&T?g r3!֜KRX_$Hݪq@-ϳ]_M {]-k^!@rp /#,i̗N]G: F~IUB@c> bLw pcOu4fIgB&~@?l$^%s54ۣЊ'>} C8I#2EzYމ>-ѩDN3Qm#uZd;ÀP0k,Bp-kQ$fx_řM)%̜"V F* s|cIoj7Z lBa;O»qk v P.;z%x6ZJ2nSװLVF9D%)HUtet/0E; v`)ECUU!dj2wѴHvuh"NRcO@, \~~0ч5b[5EiFx8f=I})[4砯RE.EO.ZzŲ"b aĚ+ãryT~At3VMi`0eQhI?'hcMxm\U^)Y8M}wShĬV . uXXB;"ƿcx\aX!AGM݁6q>d֒t u=j>Z+D|m'G|'?KI0RDz߯VՊMd5)H LtC\>qH!26@2nX6=5 tB݆9XiV>u\Jz U@-JohI6w"7cc o@& xڈ Cv&si^S gm>t/w-S R@ aI6ʨ↑=œd[NJ(Ȇ#Z(o-΀lRpSE=LoɻVYp}N uԽ<S{Ąi*e&-V(7$]&Lk"TbZגjmzfsW;9zl0'y-Y8dI+jO?*X[~EgD ^F_ZZ'G*|ôPj c) nੁ19fQVxG>\>`+ ;Er7A;id ULx2n[ Yyh}6Lcw.Z 7-ɼ5Ǽrjj]UJZS28NS(+cy:Nh",O(e9c_p S)O?vZCCrZGO9^B{L ü fcrVys;57B DummT__2[z刵{+( :7I[ErO,'P4xm{l"1ZXv"#/ۅ3y I16{O^?:DHi7Ea9Olǚ{wST+zW WA~9 ; \Aљpj$&ݓpѩ`ǝKB"*d;yd:c+={ 7TU`sV1%6| "=oHӍoa/Xv/GRa:(aOLi^a S9'CT:rYkNIO1'$utj,-v̻u7mU[dqV3.1РxƶF<ؖ7r,tx(o >KA ($|SbDx?Yb)왃ȑ|SO( Tɳ%3^UtD/[rd! tmA3)wDELkJt^m流D rN$%ä:{赥@~-4שk9mV9ExL7CkƩo$/S_4&Et1a}0]q`1;EkYojw?{yxl3T/͍ZA z " EGjHUin3VM~a<r3G{ =pߺ:.nve?FXS}:;LvDO(k~-˖H$UcT$Rm8Ĭ ?&|L^c$UX^m2]7q>H۟yn*` /$?&_0[FjW@)ܕJG?TݙW%@í|;u`խ Y$g;}<`jYꠘ,2v5 e՛]ZvMTRfڥ , KJAvQhL B|οݴ AUa<ޑn/G]VZ pw7TP'paqq,ceKr(g#*Y^/ {F/Nd_VZ$i+UfmcN֚P@ u6δ\[YBgZY~caZ$r,|=cLt})'s;vg 7pxy Hkz j=qt+d.k[OMxbrlG  ?$XIGfD཮V;1]4Y<"1ףd0KdžxW@&\h:x _tFu!6D68wExaB,;UÕl t;RwHݥwiDt,QD>:b| 44*'GM -ݐzʘҭ )Oj" 0El]ʨ}tBlBHF+`l(e66(zӪFnRY+:f8^iR-Z5G@1)(J̪"T'J8GJŰ .7H{ $% pٱԍJZI~#yÞI΁?<"Չ>&h`} BH~/eD~Q9Z!4(/a$[L6MZP-z}]1Ё±3HA ѳy[wSN.w'9ܕ0c&49?\xH-{糭BpG-@iQBH$w[d%#9'_U(/!ڶ,.$:)=SU3fXL2t&`zʆz rnyKqd}ğ,` )'d4!#}\YCBGskŷ# 9ˌ@CUp0m9-RJ]l`(m5j &zV^JNsļ>MSuGF6 &RGIs{5CQJ߮+zDv1m$cJP٩!l<=2ѹl+ Cj1x?  .P@ <.Oh&/Rm4J'_%].4GU+ړJ6@UIG g}y/~$ PKEW,}nU)&5bbx()}b"cIӵjGakGqmhThf+U*h*|{NQ3=l+ zBcuZQ86w!qvoR8&8y.vXoWL'Y«_JozGv. O/m$e//QnR z@s.ɱ~ÀW=_ɿr|w6AmSFDT7އ[Uڀ O|U{V;rvt]9*\.F`Ejߴ]@GvK#Šv R:jըQ번lCd#6b7W|.uf>[$5 QP+ s\GHVNm UGǀ _9HXϘgɳvAH7(9\ <MrW;8/>3^ ׭@v9zQp:iMq!$]R׾z=}kyBNޛIF/c#7=f-%gg=ߐOݮNO6 $7N\O΍1[%sLpi0l9Dm> cjcP|u}*<B}3|ۊ!1A@IkfTI^=hεЗ ~9pֈNI&9Rw7ӿ4p 1g"9j&ԙk%TmGK&ܥwNNd@.~sMl@X0PgB*c<5XoòzWg>bkZOc]ʾ=1FAMt``9sySAR-Px3|?/KuׅY{V?>VN'Аm+B!]02f fC`Ӎ>J+G(Ԭ' yJ9wǾth%%bp(6V.& jůº,gS]!6#nYd*]D>SA|igk`]F_:A1, x8hWDۚľ r og.h9ݢ tBKֹ= 5H3gl&y=PFse@}3w]3*T by%\APP4E0X9ɜP51Mq֕.J!{ Iƌ1y.K?WF$AOʹkw͙uL=1zJ"L)éV`S7 s|31 p|Vw9=~ ׷Q՛ࡁ U.F_K}wآBn.\!Š6qoLvU̥dTyM t<@ E@LCMab%?HF(PF_ZJd-jھs{~PZܤ8`a=/Y3.6уcS10) jA0f6`wj`Iɹ@$H1\tqmk;`=1Db/d tFgi#\EZZ3ʏlwِP\o|:goO/'d+c93$ZubY 01, t$DK? ܊[BݿE-v77XeJ{[(J3u{G#.i.UOzXiQrldO٩␕-7|N:J|c?}Ss KQteTɹm~Qnʵ>T :=êt.S(Gh4 ~X8ʢRՆߝv*~)cK~V41mz|489mUl?,iT2өM-@A 3 f roBg^EB"(/m\kPԼbMbd+ ͼi~O[}S&L KA"a_:Ke$^ۦ2R&0%I1x.E~ޅhQ8:gk2a Gor3T૓ ]Ҥ#TAy e|]ך2L RsNCHNRiމN}/RտL(ZZVbQ~a@9TzJ$0aĹ r!.uKE"' ubb<ƗSQ@ ǜM>&I.Iܼ:Z;[u3"?f䦤=L#Q;gɂoy%|li 2>@8ERt_aiohO6rQ u#=5^Xc:cF ;XXN}\fpD+aT^W:3~YF!w1[:}8'I/DtTk6d)~S4KECXO1KX`p#ԖWN%d޸b7|dP~CgjpAxl;,ޣaNk&e+?8v=eeAq-" mO-&,t $u8z= PǾdͅv;jjt*efJSrs1J>sgǀV03bSgP}5ע3E<)]/ o02jTƑ,SܬPYpj1'f5bՇ|iJ awYʪϜ[/~Sx&EƮ.-J7skvd@׆O%EzDگfK*yχaWa`Yp /ݧ"i^<g=6ŒSaN=9l~qw*1ܼD{ؑOƭ5WZƶxe Ekm/wwVinz^܉3whGjA*+(xF{xB߷z30-\v8g1%|1mnɞOۧm1 |="|4sFb 5gRD0pX=/SKU+AbjZ +)5q>Y] *eSٞg΋A`vՂ~ajͷUW0<_H_jP%R֭?X?*7U~{??BΈEw~uQ/Q|;#3DjƟ'GSFGaDžd%'LHR9zFwqu+%EJwyJ_XX 5mcߨC=o&6 ]eiM|>yaa}|k'e_wkAZw ʜߊ)7r dcãsֻ|2@t,h{V1Vű`ʯ^lF/ `&yOUFދc{zaWj x *ɨPnzeRaw[jgcES$HBPJ8fb'rh&`Ҙ4H6e*ޞiУ:٘9܌*)_"a{Р]1ڃ` 'щV5Kt v4XAPȎEzY,0({C88>alG 5O ф_ ;Qk 寷M Fe:(\)u0CH} hȳewҏ$+uŌ;^ n>_a?>+A7@Nd΍MWwRoSMÕy9|<ӭBS#H.4Q ͿK4G6GQgmD3'UȔ#yr7N?_N@.#tN! xHU d}gDȫNs3:Q쬒X=M+&ߴ+>&p#k Nq|Y598i|uRFV-1"[N`f{ Íd&Ul Sf@~>Zp?6ELOQ;yf[ԿZO@ѢTh۬ibA1S¸Wr4&lxߥ]@:)O,(^\Ѱ`DB_|O&eCi? -#Fu 1h;FgTh\=Fw5T yh@Z5Wz