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 x t u/]Nominal2:threads=2elapsed=37.796cpu=72.576gc=3.492factor=1.927zXZִF!   Nominal2 G]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sq㷅M6 ~ޓvە{gH}+/_F|Rm3XpMUB7}b1ACtTy5 RfnyJ,-π9qüL1$ម>pcT`$ \nCf;=%"_=T+ޯlks#m;upow8Ø]Us/rTGz+$l|TnI5]L-{   [rӋs{5+U2d8teuw>5mrh*೙7&2EuKҠy5~]2oSBNǷ\תҸ*v`1Jt3ю=HGRoAعlu&5"Qxya+{u*vC1pk_K;xZ{So[Wf|k%:Ce%Ff@ tNQqНCtMcQ䞳:̵A4Fe1oA{ ݱ2| KOQ: ZWNсR]\RPfgM6aT<bVk{cKNB› 7ջROU"$KxHM|}[!%lg܊f\5׷onFd\Teqh99|;UZT>|0p(C?\on2V[&ryB4y֏ jɗa,TEz}M(KhY{eg$($;`t&tlS4=oN hQn7>`FN(e>4ao}W7g;V1=&Լ8L/o_j5) .uJ q~zf[y’`XIߵoj¹A^Cc 'BĭFB QU^w'Buc۴uF*޻s689$I2k>OBc uQ@gT=$KfYz=#/0x|*? WQ|g} P@a6,Srxnt[<©Y^7=I (GTzI0g u/aaKՊ8+}׀m7d)-ZZg|IPA`0S7(!q[P|o4TlW$0HcvmA/Ay7:&5R^dzA' RnC<&TiM[Ddg/N(#y omay!?V_}^{k  hV̿D|ZO3zp|\5|>#uH(l|a0_٬a?=y:4p٩F>JLlX,`$Wn)6@BPڝ24p\`ݭ^> ]Zy0˄ZݾE-b-O!q7op5WGKN=PSx;1H{U7s .MiB3բl !u aq[Ū➡ܲlg7Fb#ffwPيD;Gi#sӈzҭv÷я<_T/4"T"J(ࠛ`G5X bv>?8"՚"`:Z}zÇI@ (#D7?>U ')x]tpw)ln\=;bu5Y.o$'S"S,Fð ֝{AF4^6u%|u:Jo#sNrr2u*I[(I9Dm6Tq*yL9uX)#<a[-XQb}9~R,W9!>xR:5 KnO?ix}]TyM] h @ VD(;igߢ#QaG %i S}PI"4k!`qW2z+wM&N sxzlނU~80+/`z[Y䛽Nk}(ݩ."DSz5 m 7kyxDSe&ygA Zd#𢠫ְb6Ջ}a4魠E&2[rzR0gb|ͺnbR.NAvVIٱ}(gH.A#1:OK, ;̻dIg.| 4> `-E+KB?𭝇Z!dԅ?f?3M,`cUH?V CT DPf;;+` *ļ_ŜW!U)vIzfl$ aeC1ju0 UHp۽/ tb#~ hV+26ZDiI,eՈݨHm(^[hwe)sCDb<&qB7a^~|INdJ]Ua6 }S&ݎW2H"Z%1.A$ T GwHTct}EL7޿ըS3@#26"¥3ԯK#CR ̟㙭5SjԄ1`tZeyj鉈pr$wK@qkI W;?Ō VVu=fʶP,$CX VeĻ\o%pR`?-Q8.9hވa57 m,>ݹ˹ IX%(ۍσlRA<*ǭGsw&h9gKAW Tİ _BPUr^mjbwB=c I/dNt+aB8uLf~ƞs,aB^|%${ \qBTyHI.Ejn .3uɘnW^^̓E}g\vVmE!R"ɔ^=XZ:|`xU;FWpzc#xxG㻤?N[A#nxx @C.H3F ٷ3R qR2,H={M< 􈁽ePB1ꌬdv7Ai4Ga\6ҊrGq\ElϪ≌ UtYHP$1@ z5_yFCC+71R7{HdJhI_Fis1𵞅g,b e^߲ TV̷D[)EiB13=Iٗ we}/+Hg2π:Íq_29\Unj0M<櫓b{p,cBj8s9+bz{``N/qhRt8m 92DK )n80ERQF4@.WQ=.AY6x^m%vp '%Eh4 Bh)}86-R h*:%EgժP5Qo+T 4&3ZN!O 0v)v8\{ށj̶zxߝmB1y $aN|Oo""7|ql4 {`Ld8M'\V`Q#Ӕ+-d$K`ͥW/sҭcty+%RJ~_yL̔RU:q_![T @{YlˏL :%uB8TP:[;/4ȫ[N1Ox,_9mW9Ҧ1,.1miA?QWeqJ Vbn|U  Oz< u@W H,k3="MT?uīa2!1x㻙Ҕa-{ЄxNWVA$y >%&Ŋ+Ak!O NzS΄IG}a&d^hjb+(J9[ xRtx*S ߣh+[8ѧ`꾞]p'ms9BG5qώH}Acw{vU:5Ct3! *\XzkE5;%1fSXQ}md<j$fΰ-x#> e\/3zI&urZJEK{x>dp8o^x-L=6QvutY7 sR.6S2.篡\f&a,.tNETU紸=> ٷbϧC\΍>us3tq#My`` )I2T} -DWMU a88Yݑaytd.3le NG4;ʜ꿔_^`0x!Vz7`p? g)cS=>j|c ƞR[D]4ҵQ(ʁEAw|r$&8SG?({)G+ Tw) "ɫRZ%$TYm;7a #v)ޮ[b.Jɻ|y/rL  j'mn+qH?1Ђ9%{0h&gImD 6]<&p"i'H)̃*@ϰlPF֖k*ew0l!iX%,U&dT0P /+ s/>zƸ'oŴL/aJe Qܙq5tD=%ntIܒj@w\o: 5qb?E;TU0,6$-%=M oƶ]%_&Ώ֓"q! M2><'xЊ|*1{ V=["}1>=]_J1þW?tx:C<XP8roP)xm6e ~(PԗvXˈǂ6g٫ SJzF@a147M,nC7A` ߟφ쐈GYkYxnkHpQn a9N.mI~ TH4r7E 1RyFa bv_<و`ꩲ9RbCM+3Vn)@ m0[ YےeT$7ܟ);(P #1Rm#Øc Uyj=Ed/%x \Yɪl!6>D:CyRXUўh,j]\:2 b% [}Q*u\ݏlQv%zKN2:KD51e8|J~K !uUa?Qt`r\wp#u5z H~T"x aJY:h A?-ӎvjK0@r&'7I{kKXys\S=rq^u9hYHM{P]+08@q |-oz̊6K6 ΢*sC35)5ɜD;֟. ey[n.*  =ij{k.DFbp!kd."uoślԉ.,flnVڳ$ރe}ˢ"Y8-o$`*\MB6nnw#_iˆ'ّ0h)Br coy7v0X6^Y,f`JQf0*W8?F- Z*ە5X YspN)+ M1T91Fv"Ȭ ϻyϡFqINhXDg=3GW7mԁ8)tU} Jo#}hsr>y8$;ס҅Y},×}D \ TD#jcBܒ] 1ݹ:uoqFS@Rag0k-j z炉?D WeBU{|g}W+z_a`a-_t>D@ccx$Rz-UhۋYko6^ C`?YMYv&W]s:pC_!3Q\8 ߺ=A65_aο%]Be@|\ϵ~,h!:lY-מPNe_/ Fo8},´]VX8(|̗7+If^DZ-7}))xavYG|jH_s c䱧%m ud='-I"<*5 ~&K6nKBMAJĔrPߖX n`*eTY`;M'[0WwTQ*ϛ6(! جY6<}ZTX[}_.!ܺN*nJ ԋ^T>z,7e,yBĮZZ |-c7@՞|+\f6'{ 0PnCz7$ZaTJ R/:+Wﴭ^9}n Z^_Lw+Y_څD NivRGcRMGQ/F5h})\[F=? D9Cz+ҝxV$$Y`/WQk[܃ci]4`u'XKmBއ~tGKxFGesYl i4MyOK]Y@H7 +Rh\Lg>yE"MuNlYܙ=V5$X̨"JɌNN#|6"Æhb;ԩB#^Z뤘@R6^xz94b/V7-gJ8H̎!f&y6/Uc0p%ߠG@yxljtW[jQPTe^DSvUz Ɨ1&~mۭ(>OG 6 ЌN_SpmJٮk>"eBur0'Xڣק@hI'O ,D< ]{ӏ97ROğy!]i cN/ܣI`KL_nBJaq7*Pь1نcnİTb$jMn0>Ǵyݖ