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 t1 L4 ]Abstract-Rewriting:threads=2elapsed=31.595cpu=56.380gc=2.644factor=1.787zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++, G8k`HH7AS+/NIF vj8 ?~<9\:}rT {IÞlUaʷ pSPR1q6|OQ=nT3^W]T¡__JUQ@F kA 6}Ɩ c סgi'4JMy*I*uHgKx+]iqmK%:-qDBð@c!6mnJ{"<.OA s*Lu8%@VGƯ)F+nh̋v 3n}AJƬT֙q$aM O eɆDw̆eA0}^*u[ŷW/zu?K7U6{g=d VF uY8Q.kqd}HZ\;^oاxd@ Tv'MȭŃ,BnZLffkn-;s"̌u[d<6cftȬ!# `z +r3,a.Cf"9nW5o?fg5||qIhdvGgP7tZrܦp˕(mCCQpG]Fkn,Cl5ua90sOOH6to%KzLΐ[qYWvYh*R 78]Y&\/}ŗ @0!a&vAbG˴Y^6b`!%0r[:b~mZr~~rS'H(oMUjpoTd/@!&vj{֋,1XT_b0i;jy9Df)J@I&fOaG5ocmhA65n6!O* ɃBz£,!SL]2MW<46u!^>)3Yf s)C`"DftO998}iw<-տ ryB0 D~poM R$Ee}ȬJp.Q-NWs򥔉cPSOd*x s;zQ !eN/@P.+:v4fעocj|^N>9ԥ碅2RWYVk?S{K4Gyqw~m[D"a1T3Fepnv`br"FBFȦ HQk7ҨʪFC̑ H49uʃ)sxS)&p,P gх{H7XMqKj=)K],-ƙ/?Fx/66 x)D#9S^ڜqըEO(bBDtf{;:i;K(Y70T3AEp+QLލr?OcJ?LW)>2ETOiTL$StZ}!ىyN9[]?O^@?"|~'ugӼ*΅'&Hp-T? _FQT8VaΡ} |0wQO&Q#Ӝ1 G48VMeQk -BzQ84J Q6zht1=e4ĀOZgڹਕ/r4v\=N}X+"}a@Qp=%}*tv<zCp-GI_ M!xɪrٙ߯v`q:]BxsV!"OTCHȕΈ ߣ*a4uVoG/ )U_}#,,!{6KYN?]L*Ӹ2$J;}.8z5%;]\It1*RT?Ғ~Ti rq}㋫r|X;sfAQFtT E=SnSsj0[̆rr/Wk"^ s՗*4f*IжǂRv|J" z:S0 XhЋ &Y&Bu>?mϗkJĩrX:h8Y.U&}:j:ަ?8 z-IO97Vy8.V ޗ.I\br xStb2@uYLiކ6tv~/T$A5'>#iYSf^oc;ԽdM4/yr[HZlPIQ]:=m6 ~9k#'tTe êZ\N]Ԝv T^%"%vœ=<>Sޔ | ZQ%:jv (].c.ب52{K$:+7N ~ qw StQG 6a @ ٬xpQL%pג"}KZl[: >ֲ5EIk>Y6 1DSg) JN544 Yn C[1,S^cz ΄HZuudaI{|i|:p>nBvR/r#u.qVޙ2`ܛ 'nK '|.\Wmr>`m5y2q6Y/ZRSB4'{&SLo頯CEX "WFYKBcƗRϔc]+H / zg>ҭdĨgxĚX-h8]Qϸc"/C(?a} xb#X:pyΉ"r+2ہZj-.P3 6xߘ%oo*lTYMw֏Ӄ$gYZ7zXZִF! Q]ŗXi%Kг-f>'yk _V0I$ļy (7M~?HJư\#&;Z<^ Lt>T`=kXr >.t--2d1R=Tbu]~.XP B5wF5}v!2Q}3Hzh* H6wlD8M7(6A!Cض~|4nMn2yCk+x_s=ZOj 6WXN? w{Bp<7K^7o"ZrWLGmzTbGc5:Vne+\-(.v^)nRs:n,GXf%l,I:kPJrx+ȡ r"7,6RIv7ZԵ_'6>uqXoh)dT[uQlRJ!}a~î}t %is:ܠ2ydȸvEdD@PVZSBl0즧j# @m DLe}"C:#3W]߱6gnj좸TOlx@:I{oYrP[/%W + t4ZOw" wxU`hKJp˖Wf5;Z aӒr05TRiZ)OUӈ8R!PF4}@S7/%?N:IÜ|m8! G$X40.|=UB3'SV]XAx[ܴH~U Łv@CV4Kr|?|l{ يXR˅S1防ĭ9QSz J0Icᔣ} ( Da(o %-uJ75a_ذ.9٪7r À fE(/u4z+ V"()|iCw&y.xΤ{le[e)K!hg7>zgʛ \RPy/j?y|Y_4A76Jͷk9G19")3n?/@..F() fJotQZ;9]ӢX\䏵XjkϬ*Z?%OsU!#t'0])|Wf;#>>[hFK'mW,%|Z7Dz +y, I- !|aP`ݚ8E5qki$h뤼mF%fx,n];'B)L:׊HPe%`"Y~R:r왒yыh)bCTޱYmcV9oK3/kGOTx/E`ˍyKc#F{e44g]U=/1Q屎%xNY_l1QU9, fe>1DS~I#)B(oJ/ Б'$GL2>XR[Ӻ?H