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 d7 t4 c% HOL-Quotient_Examples:threads=6elapsed=24.885cpu=43.636gc=2.224factor=1.757zXZִF! y]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="Us1X^ܻ%%P%|V45HDWb+K< &ٕv4, A-G3D];8F-;ɕN n旤w4Y7QAA&UPl,)fo_+qvZ&!P4WRT%8%adI ,b QIY_? 8^o{p#R嚘dZhioד'4QTa{@G@+Uէ^p# F{Uݛ$!UUm Ŝ>t qR7Yر7鯉:3t[ϲTq{v_9aȗ#Ź8wi` >vuLHgMыo= 㩤c>|[5j-u}pnT4c *u?잃fl%q9߆OƞzG?Љ s~|Y*P3w81r%l13rHԜnqC~w4O}~}tf=(,-o`n^=1N-E2EA}fS#YBn4fwHG=1U&櫙\i_qkJ 32-R(b"uUk6}u$&wb0:7gYZ7zXZִF! x}]ŗXi% (4/ם$_=8ĥ<6g#Z1:fB5rݬs8fqoJ7#TA4ݵX%Ba"6G|--Lʚ$͘LB] !_zgU0˚rKk=شds|D3= eȿ܆lԍ7^m1yɶ&蟚hg dSM*F{6z8WGK ϑ RY _|=O GQ؁:_fOV-#CI&Mb u, }mxRp}/3E* y{!CH5חj>c"9y VtSAJ$`714>eⷺP_Gb:6[*8W<:\Z8ͪo*7#M 9n̩br)}}qτg݉9X Kp}8VD U {@<\@7EU2Y%ZfC:eډg65 5Seӣ,7Rl 5:}6R|ec7&[deޣwzHNO"\0N$%D&;ÿ a lCΑT \0Sb8 3go*7pu,W#E..ia!P- ipX)yn[>ڊS{;4t^3Y~AHš|oިwh[t_D 3|S H#ڵ܎>(}[ ,-{9`[gl=D&^]CzРKZc`XA^Re egYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e4d7cc99ba2317c92438b24a1f5d0bb50f2da3794 c6928bcd68337aad18e786f6ec337677f65404f9 fc831f1b5a402588bc8bc2bff7b8f03afb401d7b a6d92894fbfd5b92585b23b53c030f04e7582e57 78adaa40cd43013de1ac3a498ac2aee5c8d263ed 7 HOL-Quotient_Examples