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 h3 t c]Bell_Numbers_Spivey:threads=2elapsed=17.706cpu=33.988gc=0.540factor=1.927zXZִF! B]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}J ݼ@(Bf AU{ @֜qOσzLbjG B p%\8G’ۉGk~j74DJeÑt&z|.@PkktWV/Ip Z:G*v7V?G `|ly 9Z)k+9 (e ;G-4uiM@.IhDT&Ait?Dd0geP*|xgO7}RދS/o>eNx<`k(e]%q{D&f5 ͱ-obW9)[K@+_6 oMSSlbۏbw䬗KIȁbW@ HIGJ(r Unx 덣I_R'*_ӪszKK`ORelVkf0ae iaIl:?𙣧+NU9 詈rԵ ǡtOz[1^wz&{N֐{z=hukaYu7&X̐;~g^K㬈5PG_z)dش8b-H!eB9-H]S ƅޅgYZ7zXZִF! ^ q]ŗXi%n8@Y7d_hpzXsX.; ]~HL(߯6xL3$gBWB.Olb.7 $ܰ >n,_О%T}x ],HT"?a;lYo:عnَ,L)E];Tv-s&fUJ#ر5cV:ZJQU lXk6d s3w|>WdOR"EAR)choq+fӲ]a}k>F1gu"]>P̃xF|tٯϯ[.lL0"{0ϥmCr"heVqW["Mg0p J&O?R:#C'9x ̧&3vV`(AMMݝ/P!/%LE'c4EkzIUpޡ2'WBDFm|!RBŁZ}i1!u]nk-Cx4 psj!e_q)˷u͑bDZ*V{abJfYhiVofQThG!z! hd #6gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac bad7d3c315c4f8af04831b4a6b2cb155d2e4616a c0b5decf7346f9ae8d66b5f48791a6361cf102f1c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520dac15e2caf958642e1f7b8f4a7fb967c2b5525cfd0 3 Bell_Numbers_Spivey