SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 %%X7 \4 c% HOL-Quotient_Examples:threads=6elapsed=33.342cpu=51.244gc=2.628factor=1.547zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?E'#ݚxZ~'\9Â3{<}ۚWr@_ιc &d͠})v6Ɨ1%c(.,OPё&/ Fm_uW4f$r7" ϛT6Zo:u& ±}1,D6Վ)*$'bҿ_5qh`S #,0swaw|E^.. hMud(:}6JBdZoKxG)~JڏMiK';"9Kq89az_dx͟ řbQ 2rgY{q9ٱ}W8,<ýp>㴏WX0#YqЛM5#ȨP MWuuɥ#GVS{"M4Z:PɤI<FxE M8vFtN0y;Gn2s;qU9STk=xr,bXt~Y^NP˴搖Z&V5#I+C7O=]CvR)Oh M=`A#Em!r)n! M}uxoMVWů"!JA xJgKnW >x8/ؓ|#S➾j`,Lđ01NCQ܁I7^">ө`{scGV8HB=-uѳUtƏ :wo5:det(Xۭ% =v.:8_z#Pi} 52<2YS8(^^lƹ;r.3zI 0tPm6u3spJ*#+{͘%Nи5;lpҒ<αAb_҄j~o39iv90!ߓy[0}$V 2IZ.39j8^$G@ۄh7 E[>:"s:D:t9϶kX:H|o!mrK;<jefت#<Ҷs#X-9ʤ<[d⅂^u'1 G*6v+0BX ^{:KEFfh~aܦ=VW|:7,RV!yPȕ.#/w{US_:#W}`25 R9 Fy{-1:cm0M[ZDL*x0e?]4!}`FICoccW2.3IOH`D(Yzrٖ/6}fTb~tl:μ@/IŖY2!]@MY^|rMRk ,VGQ_IXtb0;<5I@5hԸKEF@Hi)vy6% ޱUVsڙ3A Œ>\j_^HD)+5ewݖPuCo?MSHZtWhϋB ~Gx8 ~-pF|f&nHO2;ZUa\;&x๥jcp۾*ۋm!+% ԇ~Y~,QQgM{*d&Lz0@$*PAɟ9.~m@nK`5fI]`X^7Ѫ-"ֱaT̂ju:4an7ƔH{s(]OB2(Ϙ䟌]َG(F֠ cj w_dmN^&r뭑WJ>ɕW$Z/`: G5.Xq{=݂zQ!Z7"3s*26xE&hg/w}q"Z_I c s6heEޝ}O\*~G ?|eBqpV< A+I]o]PL41lmBZA]U6r/ ͛yl<{{zm 2 š(9gYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01ef7601458be403a934607b24536fdb4ca3eb16289 9869718d355e0f2b5e5ce134ecd946c2d6127ed1 d6b0cd4e0f852c01bc7c734daf29f64a6b7b0502 ce7669911fb79ded635d4f3ee637faa0da159b67 fdef1703829f09491aacf98a7cb7affe680e16f6 7 HOL-Quotient_Examples