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 GG9 t\ ; Decreasing-Diagrams-II:threads=2elapsed=37.034cpu=63.720gc=2.204factor=1.727zXZִF! .1]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:Nb'W kNF4zHҺ:l|N gIe ȪbuZIh)u\ eGMX*>lT@f8V36e5)dg֢O2+<׾1P2bm=H&=ꨦSsf[G(Q|<ѭ o1*6 i3=[-Ž*z 9 Decreasing-Diagrams-IIl@ -*/ bl^/lYg? \"[b%zE׀\b c+aX}/yѭ ~:tdrnVދ"*n-oɴnK뤙%>*)Zfi@4s 5Nk)$2MZTurA脮!Q/ rS2cP8^Ion" | L) jJ} 4Sj\˅o|hփLP#(NYȴgc1/퇣I _Hy#t|1TDs=WÓ҄G* 2(Ň*Di Re]| n ;(;׀?ea~AJ[7,+- [L>'BmihdF42-78{.*UvZYQa琌hV]2%0;nʀEV 7$Lo0;\3hW,(+*vd927-j=z6NCd`;qҹ@"w=@J1fZXPK;Wjf|NW{G72ֻeb@|Db.gnsc7_ \C ҦÏ.M-]eF !A`_P\p(KITQRN1r(Y{(*xj]1:$/3œ m_H-o)jX_.X0֙9ڿ=?y"G>  |, rS̙u8Q?kI$5=EʺuE 8 pK@o`R嬪O.Dǩi7.畄aIBdwz=AC3if49 Y\^ w^4~DGjTqf}KGo2s-H2C[QA+6HYVsߵy!却R+vjX])/κQv@Ṿ =1X ÈC|9+y6! )84jʒ w4`Nc^b s} F"rnȝJ3@/}^6,=06=~F{rYkzlrbT_u29Vՠn$;lbf)mK^KY݅'Ц뺓2Zp K4xD\Q# EJ}wZ(}qUDZ.,![ǡQ rpJX* P;G#ϵA]& 7?n|3RY`굜>]tԯ=KȫA1!X$߄t$6Dr:SSB.Ў0G᠜IJntBkl,iL. hB2{@ff*u&Q.uKF=6I=^1떴H<{TEZa7H=u񼄰;V2 SH!f3%OP;$`!Al;waT:mݬOџ ͿÓHԥ%II-D݇r]5_zmIS'4Qc3ⳢH,v/& qŽ-"DH-Yϗ:i2ڵ0}IW:m(kT-] pd'4oEa/L5ަeq#EAdd|[)ӝ xأL&vWE =qӝ{L Ph/PݒX""xkZrM0Kϵ솫4Dغ3zĨk~QD| |pP9ߝ͍^׏JTim }qK6']'cOM2S|w IUPU`3f,)ߏEx9㤨RO7!tF&W/ə)5n鄔gy+s>6t:2^҃B6nUZg4 J9$qQ >=mfBd,̹# )2hj>r hQ5'Z}Dq SAƈV~2~BڒO%Q 7h¯OFwcD'd,#-kE 5*9ٳ3"J[F + )On=':V}aw{Z2Tp{s]8]꿾/Fb(spOt8̋kb҃C^5TC&)d-J,X_/VINv ԁB,t%vOɵ'(lD<_ ]رV `=1nX468zv2avw|h֔-?:*k]5…l{_ 8&Kyd"V<& f|Z/y;Q|pr(Q4f>TPvX1&6.vj,м{Y;[A߭Мr\zϣ m~(a6nLqy\w kq-b5\PR!iͱOX,\k`%HF)KP̃IUXɽ5I#OOi.wm$߈UjDۡ;PPS6x?a;]q3L[͗:9LN6|zS 悧 wa|k@jY>+x(OiE"O/zJYAR/Uu!<hĮd׫$y.M<=( ^\l!I ;AIES,7m>oPW7_BOpdvR| B١%SրT YvnH#qVhNh 3L '"|cCPuJpsjq 7EœYIVT"ͳemHo0> ?JG:̿ @ڜ%*[bN ~-> ȼtKG0v  Psam?>x1 u{ErlQCe{0O5μ80h1$0 0)V%zAZچ:p6_iԿ^S/~(8!vL{R7A;Azv|$U O]mKoc&ƍTnA\~'x;c'ʟu,?0tFX^u|3\c2>Nh"w˗rs:Ꭻ&4JVZǃBle=4X G .[)J 9A3Cn aԍC`Zf&wgYZ7zXZִF! &]ŗXi%?5֫d.tG=9:Bȡņ5|êP{]GAE a=X $[ /T盜r ~W` }4RfN7;WB,u@J沉<`LbxTwyd3koK0MKq&0rz4*f _dU4 !{._cV$'gn֫V*# #(8|"L{{d*vM ÚH`Mn]+),2lEJd u&00O)U=X+┳ҁS[Ӝv(+Jgz *knsEWDŽL5/S΋p%a8RoBMyu(.e%Wrf(h>Ӂ9V ië%|Ex74˻hws UkhY@Nڞ0<'5i-_39G KƷnb~ >ͧN :/,O )QO:q5 `1 g z*ŚGSkw!.b.E/eV٤7@Y^dzň_m7CBݖihלĨb%Kn`}(<7H-#},]mbN~FAlxpbwp(a@ F=V/OpQ_ݱP4Dyz$daȌ(ZҌ*O]^2Wb V <”CoG:hx$E+9_za7zBͬP Y ڐ[.\5Ð2a7:skt+u1>3'K`R_D>bҼ/nX^ qTd6Sl3:hf-䌐x%qEG:K% o0w* a5s񙴝Dv \aFE\@*{6-ĸs Oڟ8qHX:y6LU#ti]}6Zsj iV#~zܶ`ClC-8 5Νg%VϠp*0} <O?Z _||~:_(gTԁ[qHŬ|)#;V P &j11 s&T#{)w빛ٔ5G.b'v odl,cn[o#<aV%-P5L 0USC$AN,vxPLk՜hFFOludZ+-G`I0޸y]1mUJA.&Kl i)3IJȨ'H0{տ "|F )kHrx%WX5P~%|=zg