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 hh1 $ ]Abstract-Rewriting:threads=2elapsed=32.580cpu=55.676gc=2.656factor=1.717zXZִF! L]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'i&ͽ޲+`@)##U)Pl.z>H4TLA 퓗G L5Lrd,X6;_φUf{ܕaTwsw>vIh>O 4^ Uri_j(>3xq۔' m~(;V<ʃ5G5I#y*mZZw/B(Y2d#3=bHC!z-ޘi&IoЊ7ܧ@5a1؈埥 _2dM*# +Hbήh'#JU\S 8C9\gБ]mh86׿@>;L۬mD}Ai J[_V$H W#54.M_UѽެszOZԗLϩ^'jڮy#q]5 Q  ؤPYP}J 'J`Nk;J,AIgQD_?#jI+p6g.=r0Ueݟe 㪌A|b))c4<,wDb}ZE(? 1;YN̶ko6~<4vZ |+=*+M9d b,IWę^e#ů?X0#)*Rd(ͿW؝'d`ͱA ͍x"5!(*K6WTre= x>qf.(4,xo ; lNc b5Q_bgC땐r4p=Uogs&zW(Ky&>dJ.*a3t#3͸@mɘZ3? M`1#-2ob;R?(wiˆVkU/@\TPWz?rrؙI9uRVI䋥JJ+{⮄n)8H!f@[",q!<(-OR֌"ރ(/Rv(셪GpmHc\?kŖrH*5n3Ih.yA#}tHaHǘÀGYs/Aeg#F P:`8srެ tXPZU@mL-/}7SRe:kY?cuM[_H븊of(෉i*]c:FlǷݡ0±Di4{Z7 z|pJcNW*@kR >8怗,77=o%ҐChP{IZp 5v轴HoEmݯ00UXc/ȩ #àO9vymdke~ƮԤ޴cQ&tc)ѳ93.**vŲvp\.P0z^Q{@Rt"m+i=;A]Y~޸jqnFXj:,P ) (`ZoÄU_|V7 䡌NŏgM9$٧e1+ŴHϴ3+Yo#i%X e_1̥E TދTFʭOOAHT_x7hytkyj|K,P`7^ykycK c=2ol,#MYRq`D%\;;`bJa'c\of"gsq"VM̿Sc'eFb5qvh{H̜k d{+LkWjɎ?^{ȼ&-p0pgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3ecfd896f26c5cca66da9b9843ff54ea3ae5c01f 489cc83115622e6abec1120f6a9cb06376b51e20 4b27138d8d54cbbf4f923a22265f7f3ceeef3354 4d7593beeb8de8161a2b0b3016eb39eef129d064 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7fc44e8db572219c11963b8b8be1ea284795dcfb 81de4762b4e143259c5d9fb6b097811906b676c1 87c940b52909a60807a7fe1fff397bafe6a6ce18 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bbd26ce1c989093f4b03a80d62bc89a55884df52b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10edc36eccd40bad719bbc87976e21cb90f636b50c3 1 Abstract-Rewriting