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  =%,4< ] Gauss_Jordan:threads=2elapsed=116.707cpu=212.284gc=6.676factor=1.827zXZִF! YqN]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zHL;ڍ4GIh3zvC0t7s8E 4l#msL4B2^i9AV-sî7UbF{kT) eY-$1p+Th_l"}·~Hc.epRо濳ݲKfv.x`}ȇӉZ<4kIb:\*@p iA+ayXp]Gks$z=_=1+45E NϟL6yGvhEQc`t@,020}&`yR-:1IRY$!H&4OS90 F_SVÆfIQqcqXѡhzi,_Ǖ懞2p6f뵨C0Rٳ1*iC}nd^uJ}5/_DP[ E͘W3Q%QOCsYC9rtdF4"\+kkn8lȳlՌ+5E1^ =ٺo}_: sbi9I$?pJۋ}ʰ[x.=E2y3P?ޢn./vGί_9LOѺ]⠱Up}.])ҠʺVq-pQAn0eVߛ4A>[2-X%(yl3hԟD 'ߨF,O FA:z๗}RoyP۔?j®UVʐ(K$YMW]w#0O2.Tl؝XNQs s7N 7m86t u﹈a;r vK ?oRKzꔹ|MssW@k0[AVC=US|) {Bqg5ZK&bmDkjk'L1H*\ApMw" ;_x|ȹKgM EF7/PL)vLSr/Eퟐ^LSې/ǵDd(npAJv {Ysٞ?"{(hvLsFltGC}~zҒǖ2PImz*݌u_ߝ_[HZ/bȱ($^w5hz_."Tb71̩sE.0'T?/j.*|װAch6)~~h % Gauss_JordanXRV VGIۆ,pgjÍ*QAzl/~2رmWIƉ@jv&w&TMs9@%b:! }(&Pyٟ@ > ~ieY٩ǔiN$cMOt+`~tc[oTh O ^я 2EOD5H^ h㈬&z/у`9jm8B+Eı>#R+]:x-\ɟ1_FA7&sI5;p@0@ExbUEӽSH4sDEiX&t*x0.^sUP1$0LAbv>M'կ32G*9$דsd/B$ɀ9=2x ]A\:*JgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]ORk=ii+ szA|d?i/_կݳ!K%MS4 tѯцTiM4zX _P(^X*˧8C;+rfFO@ۼcwC;Sy͡"KH+D^!ڲ:Gr$^wv*p7>!`pfpN1856 cX8aj׳HSBEi?J75r,e~'o B n A~M) 䙛][\KP^-B4OȋGa79^Ħī$pl{A9\攩Fb$oWѬv#ĤwRa NN(ixDnL|@0ojI$f>5L_Da$x۪Oz$+:@b$.c#VW=襆 V*V2RJRH.w7ZEǸ"nߛBh橲SisbT<ymɏV]Y*酓fJxBAR_k}h@O=B_^f_o>qFuQ1 5l2c} SQ2UֲmЕ(WdÌ:*MtOKtz~kZl۽c#ivQ Uw}+撮%b._] .-̐&\E8%dEA191bгN-M =hTՋnM^K\Rm֬!Ʈ) ' %!I4Xc?>s^.QVrwX n~] MyQmuCX˨Joj*Yx[)eхWeMX.8+eBk2>!DҎ4g/ՒQQ{w]oNÐaE * SYA d!ɟ\M uvB LjNG e|@8#1*`ϋ% cP2r~(s) ݝ{A0s-m7%ifiWy%#gpJwcm"m8 Z앆9 JID<4CTr _L1ښCnXhV;n5 7h!FkQ9bZM2rje]Pi]orP4.[-fWNgAor,NYgw>@vÐ%7;n'^c Dg'O),%x3BON?v,i)!#+fBh<%J.aWmю515{) .Ca,sx_:* ʑu\+|G)CN#0 1UöG=ڍ# `AC=Atm$?G)S1I V1ؑfŰ0=dux-qw+oS0Φ߁QT˵;,թi6U(ˬ|^ 8%6 |z .oC }"Kr]FFwejl6-Q73T2$ΧW)ɕU("I:TWu]EkB:a-7aUO?Ŏ]airC51,3䣠:Ա+u1)7Ub_$hE4%\Lx*5E((X|]zZ*b8?*q;qIL!hh(_/UFҴY_LgpoU83e=~L {**?3JPannhrX( S\@1^؁؟m/ny rC}i[\Qq2Y/ z&ău-;l YOPOfz%2d]opR չ??beukrͲY'g7ِӴ_+(sԆ} :fb*ܒ*<&n_poE Iիno*uo@X3H8aqN_fl{R'%/F7PgrU$̩0O)mTNG*JzR DwZ I+- >o9k V{\3. o0& $Yo&[n_\L98jv9M՞1XU{7YW8d<[3Q|gm^q vDM7H c\<9S 5LWEo+j pgkzPGEs/oS-k84Z=1t;N:+k5~#8VB[pܭ'YJJf3ˣzX{3`bMG鼦_oc ~˲f+ٍxrO skz( iiO! 1(PK0(ZjgW>n']h/o|jj=a[L}H5WS'R` mpϓ#ZtD Ǥf Gi Z%cWY*Cu0b{GtH7MD` :Y?( 2Φu!vleZH{nE/>_E͜RjP³k~bI6p}(c>1ȘuW,MT2> [(/{z<`Tm5QD>J\`\lCkx82HS\CE)a`W yzNm64~#* O %A.o~f,'pMor6SIZ_ߢןps⅐Lŵ yR՘&1vy& ImN5طJ9xƣH?uAHɥ"hMhAkdr7w#f-/ZC W!ԝD\e+)$.pSv{3ƽKR\% Znm#XHo gL)f~jVeވ2t('e"ao`=_.qTn=9N6Y?d5W} O sOu<gdbPX{7K1Tmon~c <1mqlti݃Q '}ojj7gcl /{heɏؒ74p)}F>M(f[QیKR-u.ΞXK6KA({9,04!XbejZ!?b{F‹]9mݤ x@O\U녆 :$"eK"1a[<"T kGOk-\[q:؝zA`mAbʺNhY8b$6'oM# lit눟)FR]*4Ge)3o_WN-kv(\hҙF?L@e4&>T/_dt]eE,-\EFs{<0RJc([Օ%@?//Bipt%dL+Oƞ#ZX2ܞҲ;S =KԻkJ,.| 7$ӟbK-uIDCOfl#0 O 58$L(v,XqdQ;Weq$ujV^2Rdznr`7/œ |(?[_yk/p1I8D=UzP3V!%`#Cy'҉M{'l15L,7|o1*Y{䉢Pa 3ϣXS$hBj.:i֧z"f^jI r];-?ƃcnT[f#:v1NU{fxtCJ!K1dnȍi_ Ksd{b{eFb^J [Lɗ2<%xSo ngB`Z &k۱G}u~#|c,4IJAZx D="l[&)peYGR5 eP[);&UKI3h}9 wd{ue ⮛cνj iKtqf `b=VǨ_M,Tj]KA9~|Jt~m&)Z9`%ٽ\Gwڿ wJ&Fd1Gs- U#Fߋ Jn -˪ztմQK)&Rn}vL9'>+: +- !`OIuUjN.lC̢:ŠAOnb]-Dm2{eO (d1Ӊ7z9+d[/ZNwnz"Do_stK:qvJp +jGZTl0;^yl|z48 W2xDDŖXM0@㥗Jj jyOz.Ώ>3Xj03ץo`p!W rҞ_BN ~(m!bנvĘЎ9g@e1>jjx3F#*,{K?26)ǘkY _Zo5xze&&]v .w z^"0%1:*=Pk:I"g339LCݼxѢ@j)KjpX#7_tܺP zSY@@ӹԊ*T cHhww?, >=9[)@[|2j`mꂇtL94!O$ٟhP(]2+ T & ir'p(Q.#E>EE،d`|2<5B/3b%7!7 lu?Яh[x sC Ta; R.B᭙k5a4Qrꭜ_~u!,h[&#hw/q$6\$/ngs}R5h)3F9""m`>@F3NwG<xΦU80啠y0PkvVHZ B֡\J)2 + gYZ0506db11b20637a01e69f89eae0b3ecf49f40b16325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1