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 43  c]Bell_Numbers_Spivey:threads=2elapsed=18.320cpu=34.664gc=0.576factor=1.897zXZִF! V:]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}n[:{B1gF*1lor)㕕Y+J FZfit%}|Sfr~ts )Mf(8qT6)?k&_sxr_T̍^i3~i$B[;?tS-E)zp/Co~L5z2(b G?6/*-GL[y `7"c`+_BxRٿUp724@Zs bܙC$+3 v~vX|ZHOA7!]6$4<ŵڔӺKo*9|gYZ7zXZִF! b]ŗXi%6˻a^)s|tDr!r>2lS"L4޷!'Ԑ8QCa0Eg90㌱UzΦx"uh21Iy:q_Zϸi N/ ._A\UtySNJ~ĸ>Ba̖H$E0;?Y> 2tT|ؖn$ddf$A}DTJ>e?޳yTyJs~tp޷5@PNM"z5Ϋ%~ ŊWH)-ك3 ;!q^Y~8OGyh3<"2uAfg2ؓcmPvA?|f cVhlkBm<MzBg:Eaw A5WA8 J(}p(z mi㔜d)x6X.Okn.L{^5m<[+,Q@ROW^$$)~ˣ#\RĂOX#&17J?&q4q@9#{ 3#L)|G:+;︛zD;IyԠL^e"S5hf426RKQ7ǖ2W͋o (y؈Yiw~p0" +} s]tC畦|UM3ۮԒ{ߌ| M_ŽZ/[شM!cascP5܄y>?TY^49.siΪV {SxazNu;Cbtȱ l Ф`ۍd"ԧOb}()GFTB&pjURݏ@ Y&Ęv|1i[KB.E9~O& ar _TpGQt#D5ń*fwюQzݫ^NMMG [?׎f$Nj cXs:}! e6w'A=R=Y`^2-OR=f GkLp=5g`*Lcsw(ap\(_;2sĺ%d9f|Nʊ!WrW1V$Vy=ԒcjA&̱7ĮOfh(,(DգR.HO!q]Q!'SdoBzC.Ǎ >x>7<9iTK럕3alJR[<hX˛U›d7Zk,NE|)@Y`$qK981rF~^^,VH đb<\IPNݡ0iYNH$66 PgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7657e46556dc524f29700dc86a99f84036cfcb84 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67c24c0bc3345930737c07675743cc48bce24dae01 3 Bell_Numbers_Spivey