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 VVo't S UpDown_Scheme:threads=2elapsed=87.433cpu=136.896gc=4.296factor=1.577zXZִF! 53]ŗXf1-/6vRZ]tE /U 7]n|3B!;Op&''wn3c &eB?W!Z*{_^u`|Nv;Im֚\*7J 튠M4yK(pr*4g<$T:ikZ ľw?}63r?M}'e`^d3!]tRVvj_ _B@z}{o8%3yerIW/ F~3U+vIu" ' UpDown_Schemep?HޠgtTycr9%w?[ML B9EY/E p/p4Rg4ݤğ=07EOtF+7bWnHV]ڣ5$2{f1g{2B!qd =n&bbZRՂvgG[w3ڛ+tS H /CP=H[J{@9@ħvSȰ lTmnNIk7e&. #]Q;يhi ?0{//TP(?gu!/K?5z)acOUd>UՇo53ߡ$A(VtkQ2 ]8fAeθ@UMY-2"ح ֚CTi;/Ӈ#O"bP贻f_>DeXߠ+VU܊:Xq=w;aXY:%(%> `_v'00"fŠ@.s Zխ--Ӎ:QGFN)&r<[' 4iF\阴خ/<eKa FWL2עB&;^B],+h'! .[V*xFZP`^zyyM[t׹M/K3- ˻;"#ri[wguIP -ա`p=ߟC:_9.s0iBu4( x.#^jPO[Ћ?iƈIA y6:ĕ1.)ً4(w³HGuq-/%YXKc v-~7!8 ɂ`):a>2J( Z=6)0 a {7%9H#Hl!䉖HjnCf!ik36;vj`\3A;[%7NT-]ۉ%Ua0bu LZpa!us1" rKҬoVQ|{vh#C '^͸`ג;% Gb_qu=!ZNT8^oceTg3@ѥƆvWS+?5TnQ{7l(Çt$$?F)IUdNj'ł=ٸ78shoD.01im(se 69_ VTr㯎ep8'k,x~݄cd'f%)7[VUe'2֔q;*_lpXݛ%(vaЮ^-EBøVWf)- 8ͷz̘qU h'3؀l6=wN3am#HyAA8xQ71jS#^ (le!hS\9O$((T k85kW ջ!-j5b}A8g3MvJ} mZ[ǎ=IBI +-h$ s IbZ7cu7$Ip`tLtkMfk ǟpx"+ϫGLʁ3 Q*lttEw݃Vʪ4 >Y/OV?|Tc}YPT: E`?YBt47x;⽓@ЍBXa9aB\lĸlVSsԺBSCJ 3xHOU2.N'+,+ep#_j,%bh Q ) n?(g#U:J{HO] 3~*֐|z$rO; 5h-(0r |l]`/.U1󽘊="#fÔ($5x 7S _yϽ'Aشs]dK r_BUG͍Q뤆u0ِ H?Sb҂;OI x=F M2-l9 F/,t\<)$13֥/Ͻ(զ*s:4RY?zܨ{ sE#gxKUjree{5F7,I \Bb'A>Տ&Gޤʥ+1昘HqUbty67 AO<ɣӐFݍȔ*I;SQЇ vEExc|>M=+\ ^G2cJڡXoג咊 rg#@o}X%<҇Trgk^<+63<NQGǝ:KmQ֡C2O:]b|7IIY6%IruKŘbI~A8r-I̷5bǸu*9@꼖B #%pT n]T/k.U,+epۜs:&Fb?L ^HfW7]|Kʫ+/78Jsd[&\乆{V*խ:6 *_Dg IER?xs-bذr{=o>$ @,?HHJ.Rwn~x?6aEȡ*PĥA= qʻcqY#4&`܇]hv1yX0ʝ+>m0 'Q Q5#ψGo[>B#yϏP"nE8f&.EBӪJevO,ui PIȿ /[PLD2"%~ҔGb{|ϣE\X0!O1 0ԐAY,t8Dh6yY'{}PudI2yυWa6z:S('!*k\W5Z*]b&(UԣdU4q,[+$+?F Ha&ө\WjCejW4,_#j5J)#sTz5Tٝ) CUl g@1D?@8XN W[0'LzR >ƲN$(4+-cAנ^hhX:3hV悂[BY8Il 7=;'bY20eq-)C(0PZ2"G,uhVI:j̠n_.ɐGnT 'A}:8RxGE>2Ix.Cq Mj 43Jj9qˁO9̀jH3 4.Z8xu_D=rVaҁuQΌ^̵ƀOOb {>& \)7 6z+/e[DwZ O^"֦EGHM k~4+siR,.\*<n%@ŘrsC"ʈ»46ϽS )J`켄GYS0HH_0zXX&o >f`Q 杳mj/cD4@WǺ 1S~R1ұPkm˅d >Dc}DrRP쳙+?e<.l 5sVX3 5oqdeۏvBfXYݏŁyX;T5Ʊ%<] 4V:ƭ zJfLԻָxYIf aDaxQ?JQDh1$ȧSk5/kG&·Ĩ.ts0BV Edo%Jnw֢Ns !&;l=egDs:mwM`Q$ב?]ީo-}O.ozJyW4qIm\КZC"8ݎIƍȎa(E^VޑB&K,;'Eo&]lV%$BQ-##XcRMᤡ/`]]J-!zdfo.7bbd ` YR>W&H`g~>J, 閖K u;!$+?v:diR޻[:LT$~(Z9S $tT0\cs }?X A/ @CrpwRrOViW"!F}cL&mD#S6w9gڼV10p*m @S:#1ědYO9w\nm 2٧*sSl_,Vw{1Rۡ`\A%[ew6qJLf3mcHpB/.$UIsܬ3E R1?;[A.ae(e-O?l Bᇹ6{]BiW_E |L?'KZ1iH'jg[P_rVޣ lY? 5+y&T&ƠHH Q#N_є!! 0]F Z0t~b4[(gWBTbySw}w\'яnũj|,*U=;+nQ,MިٓMt 1_agQ3u6dA so;fwA$E1IQN &!G wSU1[o)ܯԇpJvI/~k'l.kQ]xM (sT?_ؾyP]$q` [zto] ,q\ Ϥ0gs?xrbsP`gfn]D TV~wSr0'a*(MP>q;8Xǘoĸl`VAh1ކaې8ac0B'5 l^N3a9~*Xe'g/s6hyGU=[q-p=Z]9Y櫰]2|͢jpjo!@Yũ7MCmK36 'u]f* h( ‹rKA_`~%G|f  Z `C@0~b\r8ۘۤ؉ 3SąFCPT\^!B,7^gf@~VWQJnV "k01Ж89ho/.X^b*ATn=*7fr.ecˍ_Fa ͌f mOK?L ̍A}a}u*4u=RRql(FoXp V8 _P:!dENkiFq )t-tՐ E<ˮgYZ7zXZִF! b?]ŗXi%:+])W*tk9PUHnBD[!Oˠ&{>dף}$Wm1YhWXe<Ž*`$]&LÂNINמbޣtTvj!g@hd _XepԖ!\Ѯ(ڊ&pO&Rn(x BVjPTsUvҕ#`7З.} t-\m8"A1b7Zf@fXgȜ}0 ^**|.{" =vl(,=T@EyO2ud9Oy{_>Q@jX |- 8 *v'6RΤ-? ^Wn}QЧnO!0r$_>X-DV{%+d}{|gKmU^Cbp 0T$C h]N) )잭T\/I X{4eʠ}KnkZڼ3p=9 k> nEkK^=P.i _g)&ߐu6/)GeK(nz'"oyŝn6E aazv1|*vfH'"nm8z G&!| A@Q~ΜLTשG2I^T'1=˹*_ C?,X1s [ʹ)we D|P|Ǯ?^}Ci+um DC;>+{'X6ϱPp; z(G DC CmD0jϾ97KNsefIr!Ε4R~W 3T[Vf,iEz Lqċ Eip4 d2a貝em>AẘQq騳~F>Hed66g cP~6X5PK 2Zfq(##Jk&x }zriQc[#izߒHEP-P{KhubbA2haEAO˔OD/UP{De\úW߄,;Bc>rض zeQN(qџE|2'ZnE ڨ|/ ]7~"aYPW6SlNvF\+.*$t[hWcz~G֩qt5MfNgn~:bAl%aX>skSQg{'}`lɦN)ު_ۺ~@#383BmTǬ3]jt w 1B_g%ykx-+omnDCf2,qkh('&XlPRܘExGUmPQAEE7' wT)㉔,\Xivx\pTC &rp,e"d|YB[x1XbM^ Ъ =$ț #)^,A_*{ph D`28;pԬ:<9Sp^  Dgt2 7՟([!nI i Q5J{{Ur`Ỹ-l<jř룍W([0.T4[ wsL 5밊Jր i02kGѴ<Pb_\pϸt>\v dy:.rTx؈ jZh KM,R(RC 'd·DԵeH?!L,ַz>iJ@#Ϗ sZVe:]CڌJ3[n32ch2 ŭ4% >GSZ»<$h߁ ?&:f*548;rҺ=׏Z> F :m!f ڬkeS.&>3ؒ#Q<={v( Ū}˹y%ߵl'AX9k<_jN+JHo$yՌ\ Ja=16e=>jأ9ţ[ EŽZb&<`06=5cgOt((ƬR ].x3(UQEe?= pA=P)#Ol<R -mմpLO)9@_c u,%ߡNO!.{P ɣlbSg7 y'87ή!vNF@ݮz;S|Q\1;:3.I59oV ʟJnN/%oohKՁ43Eɋ'u-m؝T"< Bvت0yk Aľ+P"hQ:wu+_}uhƂ-˱?H跳`Pḿ w\hB-p'5s9HB88'5. E+o1d0MATT 6ޭ~z޳8#{ 6tZٛOy_PC!K)vnO eG_&8?i(R2X0#suwv}?N5 ZT οSj:?Nڕ [W0w,%U|kSh,YqDWSa{,+h3sKtqWt=UxȄ ƞ&eyx i (Kƣm}*z˔6݊-jw?\q,`*6,&4{z7x~ g kyP)"W춋2ӻ~yd=w"<%}t?+N>SIయ%eZ̦Ȝ$*F2w.+X%\:*c=m.sIr ziܮ^0qxvbAHdp՗&