SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [[]!T gw Call_Arity:threads=2elapsed=81.615cpu=153.860gc=7.652factor=1.897zXZִF! ˾""]ŗXf1-/6vRZy_  ! Call_Arity=}C]sW9yZ9beM*MJCsl]> {TW5"o]?$]:fg{)v:8htMqXWiex]SÛ-9]$x|{6I45 H1 z,PDΣ>Z*lw10vFBՃ' ș FNfpa1w D|.Δz*tZ210`0 >,fO\E-,l7i1_}u7s݉T8VQ*:%6h/k! B&?_ 8Dž h1.eT֘Qkԕc roBǸ%kXXHBS;R{@/oriInfeS&0VQ.a+;cqɍ[*o8P1(2?Z^RGnRp󴂿mB!r7Z4VQX/c(-ӼLLCe5/Q |}`_~ #hɴ,X)7L_ s!,F_/6g{$::hR,̢ƯtzYHB!E^n&]K"J;{%}Z~r;$"*NYxJoO6trY Be AorW W:(d+Dkt>nj_gY.ᑇE"n|. N7V(p-ޝY*{­kT9wX0R=[W16Ш q3X@cl7'.e:ч S1LΠ} ꃆ#ӪhyCU8A/CH[ " LPǀ{J@zsw7nÒmM;+#clǩ9uhp'wPM4̓0@o WGж+es3ns+-LU@aNm' ljfFF9؅*uv=(,Tb= M^)7uڸ'd*Eko EtN2V9DvMޱ]o+#.ǨxT.8ˌIo,<dH| E`6j"v/7[ْìȄXDqS%aQog 2JGxӝK*(-k3g#7]̣֊=9qD Ae\LI[!+^ ,/;w_A%\Lm Z{eo]I%ﻩ|[K0,CW[bQ5uo{)%8laa[L rj0GEZ+ٝqJ"zˬHs P7M>DҘ# Ad!o3)Z~gӸiaʰn8wKi'= Cn)7;7hxҋ;ݙ(hy?/:T(dp?j7ׂ0[)0lpf E LNF/,;HۄΙtcP Q?۔AK3 \ yT,Lф46]HP$ )[UAZVV%q W9~ n=9>9[= r‡*h<)JLSnZO>TtvvF`JAJlTzKĿE/6ISFq=Fo:fWi~JX+Wmbe L,X*= ?x߈O+A*aHb/rԲ_jV`7=,$d-1,?ٽ8Q?.* Jd NeZoo9y&*W7D`8H'̱'Agwic0~~Wm_sٌ(,UHfz U !+miF oz5!O_hHSn80gi@=@|=;P Y=r5"pĤ^eJ$`N B&Cy{rY1iM/ig0[ص==y2s̝w*8qʴzP. SdŒX{,>¯&b7xNF#M ta˭$Z0Xp*P=\]q0GdԽKfj6~dvXQ\1]8HtH=p-\nptJҮۉ6i ޗxrQABO=½fD?0!ygFxK۴EؤPtނ@9Ik+5Cbk?NhRl@d 喨DmBØhOA1]K3/#Wtp8dQ" Ҫ{S L(Y\k@ JخsD_F6-~TSLͩBOS{y! X9n="PmMf==8떈ҿB7ݽXޝY.N2V\ uߋi'e8Sa,?Hn MxJdz- c#lqڋvkeX®ըqoݨK*jPm/cDƄmcX/~>EXEIĔwBG~U/Jȴ~IȮ)=*jLI8bj(i=[btmvY]8 8*Ff18Q6גI8sVqw(她A+vR_pѿ  bkK/փ3L1^* v$[/ʘ~ EW&"L[_xUZB>tg9B"AD&҄9+U6_>D'Q3 Fo'ݞ4(Q 49bTzuc.+¨GB 8:^@W8вYUySLJy1T6O.Zs?}DCahh*TB~He# ؆Gkӟ+~I=Y5#'l&Ю)ۨ/w#k[= 8R/ڿEw1b}(?w5H踨%A4pA!at*0fzc%3L'D.rq͔Ì l2\2.Bnܙ e;_n[K-S$t'zQ@M`3* :Wꬣ*W *b^Ċ3h4kO~'`FkÓX?ϭl%2%HأcL۹'do&m<#i=(r10 =ƍ$߮'`tՠ~)zk. -M*Ew}wBzL}dz;sA3c%W;[R xVx;(T${%Aޝ%v`u3Ȃ]WvĦaC+$]ر}[lU>, w _]+ r/aH'*N:sI |ӻ{Ƽ& 񭙁 9땪_kdHmKXnf`Q{Z J~4 l\=\Ѡ 9 eZLg8[@u\O?OhPoٮUaOG\eK+/Y'S: Lx)FFtrG1t)\=,l8czB{ my._1aޗA1iw$ ,.l[|WP|^om )ȁp;m=bW2=2cPDZn^1ő}r~yS:6nvU_ϪhB(;n!"ȆIK v* M[׸28G/G,~&jMiaRlmmM - - (sVC6$Jf62$j:ӣIAaJQpXE-^_kJbR*b.ᱛ(uUwQq{bb_2+ Ttt+9vFv !=d#lG9To:axk%jC:Ƭ_9gEgN4vV]xCM%@5e >PLIbOtURW^O=^ȱM?4( ^d-3ղ+>(o~ljz[F1&b }B=/"KO[TTҧh i3Ԏzf>GЖ3Cbu߆Т'Ra[: :JQkR)v{@0DZcD{\2A:T6%m D6Xq́)? gguRҺ5}տ0rVq3iT:pϴ$Vo$7 :yZG?uoU-ٲU7/1FgϐIէ.\njhJ9dF ;N#ؒuTnF{_MKNF\ޱ7B%IZ ib94crwiWF8,'$\"fUwps*Ċ].%;ѳy୙~vAѦ0z~Mf6Dű֨EKQ)!3n@߫6>};wrId$K٥OɫfRx2\]fim)% aN[$ ~k\=]F 4&AE3 >y?{ԀF͊ȠLPec^E2\(fcᐬ/kViyWsTQtRT"AHխǽ(S0:eI 1ge@&R#j5io(BɃUlaD7cEdJ`ywZQmkii:rOVboSno.0@b j|nX15 5dD j>ꉖ %eQqix)FsXQDyܑ>c[p,a x! +j' B" v)%P7FTnD-7rrpz@jZrI։~K .8+kIty) 0"JUk-rVk_|T0G;=curԠzӛޝ3pQs[8#HIjJS*꿟[Vtt<шeM8C_ V4a#.5;V%ﺁIhk|C0/G'2057xB"%mBdaWrx.MMIzƆYD3:741eiq|RDQ*uOimA= lcYjG\]<*^߱gZr촊DbϹuUơËtɺm+mQ `[ZRdrR2žٽk] A\M(>O87Sj@'#v9fҝnjQkN(^IV@T Aͮ!<"WA p̹S]),aW=J"6QoGSߔ! ,d5Ro1椑ke aH#m|ۡ3Ax,z}:\Wjk[&ai+́Y,QȚGR?UT_/w;= ~rn5)"8 6" %؇Pm0auُCG!~* r4՜;` NT V QKHnUץQ^ 4՗ہc ߞX*(+]#+"ф}@K#j|!iu:8XT8>o # OjC} $FtIq{ڹ,ef)k,^p-\ج%lqDPG|VE.MnbSpnIR7n{mD/>꼱gYZ7zXZִF! Ꮵ{]ŗXi% Njޝi88pIn(K\D@i+@|R6#eL.&SAbMU juPK_.T-a V%B.&˂ݣ~SrwΦȮ&+CN氶?3#RV:/7 jPǽXA6,r? r7AEB XvF+k& 4qt/=>$ۻV-Cs xL3)V:p`}8|%P3Y+ȵ+]82t">(/im.x.&N5f[mqM`Ց];dYbՇ3GM͜xfYj4#WY4X:)M৉DʄjjŠlT(&[%j~COƒ sܳ~]`XiYsY%ЦB$ʜz`*_N@Ro;AJf? =Wo gZN:jHSڷ<,hr@ik"pHt#0zAaV & ;aW.i2e>q:4>%򴳅Gdž?AÓpNS~AjKQejo5&С#>ޮmVcz}~FKd;BFl < =͜Bojo)g~Q-;zsܛԙ!(qjal Α}WܘE퇵M|3{SVwq~̑VIL%PDfXa֟K3US$]&1 邐ۮ7 ^>Ӈ\RMje4h>˪Q6^ E;K\2YΗ <Ȍ#FDzw|36yA_;5W/vH=Ci@:ĺa jTCUrE,/*qӔƐnHu|{oǾ]$M 3Zk'$UT&0 e^M8*V0Pv͒k1 b]/#Xַ\Tts1|uQRɏs0=H^bЈyiLL,yLj᯾&l#4w.g<<" fmkƛLR?2%-V]RGDm}>xJF-C.lާ`!pM&ˍkgh{ö [6`jeY3-Ξ',{)ȊI1oXEAx-" `W$LpTTr9-l4@Y^v/d\ug`^Z]KJKwG4f& ڨo_0n{+زud۽JD]cM -CmM\t4Ў.~2!84&X@3h@]ݽ\BPF'%%GXcVZ]#RAea5 d5V PѦ:iƣ?aFVn_=m-3IiI!_,:SW('d-J(26Š)$P{e"AbAVRP'pw!5V dš}8|KBEAOذ* pE?%l\sh[B6]RpGQ]Mwy5,fnRT૨:H6Ȫ+]jLZ6:>쭚5y:ll ~-uB2ƁrjlEG%*G ' =`e:1zse5hEq],vpcH\댠p4XyH˴‘u{;2i҅yطa|Q˶/d[b~rbŒs+WepnJ/')"C u=[,JiN %6yM],ƼG ?-9CZuʳA$a]im#sf1 7bt; 1a`ǻ-$A DlUڡN{hmQ~qF=W: Äh|}&~O{ɒOrH+n^CX{áUe.Jhvp3#^~QT'B#kWkQiyN%Q_-g0hZC1Gأ?Gn;FD:z!^&gտ{WK$,fo׹'meInZdF+f 8͈gfb^n۬ԻEdqҙWֻF3Ǒ76&b] %sPKOky(ۯwY' A? f2hɎ[c"~o`I/@T/F^AK=)#yc>ȄZY 3:*8PoJ"-~>+GқӑnW|Nr *07SʳaJB1M^Zvrip4ԭ>?Pm=;$3O[d0=$I?ΐx`ؒ)}*}A-eݤd!T+ }1"e$=6jt#;vfjK jd701 >3¡uRKf I.!>$G|}ױ@O2 Q4Џ2D6]vT5|I#}|zXs.{$`ҽU&Ł$3,r}