SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !!\7 l$< ] HOL-Word-SMT_Examples:threads=6elapsed=67.787cpu=92.240gc=1.200factor=1.367zXZִF! ]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UTTRL:olӷmp\c;7 - ZP$,?m1c)^_NggGB iHU3vqKs{V gN@4lzWI9hCTYa 9cb[w}T ZtT \He]t0B54B;$-iٶAt@QbBmNW`.^AA%QEZ'2j>escsgpL.̍4529˜3V7h4>̷Fbm~Oʙ5Í<5Vڊ58F"!Yp(#xy{rL! yLޥ͉*e'Иa5a@JoVI~=EK5=%R2`3GN*{edyk#&?&2bif]1S{5 {2+|%MNxPc5|ˢfĤ+J؟2Eb$n@˧q+6)S Yt:7)w6u+Y0l;EO5#jgYZ7zXZִF! Z]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss}Y \:u}NfI2BHfЊ%1gYZ7zXZִF! @ ]ŗXi%96.I~  +>^EڣU'~,MVzi:HѤɞ·ʒ!pEXǮ]R#4NkRf]u6NӷAtj> vN-[N 85Mс[ʸk5. Tg|sʣ X{$@j\m[|@4٠X=~O-gq;B*@' _9<J?TaЎ|˽ߜp)pR#8sh*Z79meQ-}'vX 4z%^4h_l/R3LXaTs?[ S+&R@ܱ)?d#c](L_ jn\݆O=J  Z3Rzk{7^D'm aHbX?o%ami<@cEV:ȇ&:"Ț_ [Y( k?$/Q']/y;@oNn|NĢEs)K:P\px\&6zE֏|0"hvxJM3|ˍ?#-F3zfic.3Woq^x?$i8R,8z[NbhIGgICT=+A L10ઘ=&ˀxc/h̷ 3$Gbu X&HqE*RDhKd:>:[vij [8Eǣ!~"ef7aI^ t=X \E@xf_F-/&"0\r0mIۅ%jl SSpS_>/O`^4~B:-F<y[y:.A ~TzM⾞9t<|DDoh:5z~lҊlrYñx.oİ1nHSB3]8 5domzW:T`9+j3Ϊr\0ƪ|F_ΦMO8Pס9;uѼ0iU+^x (fw fZ94UYyOx?4R52OjMJP3ښyH!Be熥[!*c7QHP8 /s9nB4k/2Ț(BꤐvBI <'q;?mOǥ; ew$i"%ɩTkt2?Y¡̴GSGTL)x