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 I \ ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.930cpu=24.184gc=0.360factor=1.057zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ld6C@kQ弓m2 B@A&quQSP(S.[xxQuB/t( Ϻ.N3nzt0!G(,aݱ}C? Nć IN5ަnAfحgG2 =PzY!xNaT}jdhZ\i mw1(= .yz ڼn+79 ʌDT*tnxe/7WD&pˋQ!ҎaRS qLQԓ BZ-$t+Bd"dǞo^HI?]gYZ7zXZִF! w]ŗXi%"A;%5wWuH"͒0P3GхukTõD2{2z]]>bUo@P?_t< tBy:/^`[+IxG'dḱ/HZ?w>ơfẼix׷GTV{`-E0oa9͏̄p9lgV_0Vb[ Kp7gB(=/ͫчzPU; 4u[]?XK?zkMj8[)7g pb2}wx6ԏ߀U$u+.h:3o0{&/T|p:w@̓V3H‚vt} uO|U1޳@qJO.ѻyK+B! +,wc 3ЌR, ,e&O}$QzT14p#3 #)Vh)@>'^ e1ֳk?]P<ؚ_z>liIjy$<|;vR5\G gwM'Q'~f`ɛe5N}CX > ČMq2/ 9my0PuuJQ!ޮKv##', `,߹h/<á`XpTæp>"k&;@ߚhWɣ:hLlXVO QWdtZP;E&8U;N>Ł9AfVՅkmցic a yʎ+a?RoVE2C|ĵֈ-D&&C֤omEഭ&:$8_1OQ6iku!AW~52gKb"^|Uyn9߲GB62ۍZHBZ!zA)[G{5q}]Գb̽FT<xY-cK0Q0!mCR܍ 8Llwưl$p4ҩAN]G\GR)K(\+4{-O5d{682n%ԅLyvcE?"D2$):y!? ѪTK%%~?Ӥ1r!. Y|?xN(zc4F <2tx¦Hl^&q!eG(VF]/҉<@䨔1IYT={w /gP7Z* P{Qu-` wx@BQF}v kկ=![K@S6 #:3h+ ?%9W.aSj-o}U rgYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa !I Types_Tableaus_and_Goedels_God