SQLite format 3 @ .; B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7;$D ] HOL-Quickcheck_Examples:threads=6elapsed=74.390cpu=166.436gc=8.692factor=2.247zXZ ִF ! a] ŗXf1-q恈?XVd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ!W M+F;Doxޘ Ffw#j5;"Eb˹?/mI[t[YNZ} ktY8nj~ -Ty)n~;1j!6&(nUi|-FF ")݆iڠPc|ba!Q06*蔤a^ؙ? #Ķ:UJZ S2b^i7.)M9 @k;4oeW%< Y͛$ÊH. 6NDXGr#C*"F.! o-A0O\hvK4E)u`] \M[ oqoi%;1p[m'u#yac
s̬ 2= N:E͓ncc?aGyՠPLgkvɵE8a/W`jԿ&eSf5YU-w:u8)O^%͎6zDkK5DL5ik5v_{_dr)n(3`Ӟ
p(ھq n:EyqdsXoC#V%mj6)??u&OeBz-fЇJ4 b_4AMH:+43??(RuZjVy3爮ptt9@;bpm1W-
-E1J'S>An|Zzn!Noę+;ҧ01VGAlߵQI
aႱ\U{2n>]:L6`ѷ(R -;9qA;[]xLJGEօ+kle
5,;ݛ?N=PԒmo#
x6AupyK0HpfMqhj^3 |/`|=|qE۞Iɱ
TC ,[\U^^v{fb
@ee-H'`3K!ĿӷCOrKQw..ʽPH7]C7clrA%=EoͱNθg{;}ˏe=9n%d؍