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 $3 t c]Bell_Numbers_Spivey:threads=2elapsed=17.856cpu=33.600gc=0.764factor=1.887zXZִF! 1]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}\i{*/Yz' 34;VqSLl5>͠$WTWip]OLMn.hK' .7 h;+؟gYZ7zXZִF! ]~]ŗXi%~_:JiUOi 'rb> \ "StB~޶\6N, sb rhxsoz2rA QL6ߤDOK%j'Q+y1=Ӻ ZJ `[YRe%h[z"M\A#5jl|F)Lh$GV8πPZ-Q t!yȧNK3(6[Is O!BaO0Y\2r[Ot"L:@mx@`Flqy|=;y߅IE*q|&9tСZ "bX(&$OX>[{ ,.@ny4&Ͼ@"XEmy DD?@ @UdD\f*k);~mU 3f 5p^?")LMVTfc9bؠ C,zu8A-@lS7]6=D Uhx2yZ6&ά "1o0?\Un Z x2.AIeʍ IQ:XT-,S6WuSJͧua6z?^e3F5KZ:{d|{ybibg[pѐ[uY_UZ9[pp߻!苔۴mL&7Fmf6;> W-6LA z3ܴ'?ɰ,)ߜ Z9Ql;ޫ",Ȃ,f-aOV70wŲ J4BnM^FW9TK:}D]²hѱ:xZPƒx4wFمVqcE\Wt14t̠Y6ߣiL|ϊc,@d GñgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7657e46556dc524f29700dc86a99f84036cfcb84 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f10ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382830ccbdf7814314874b902cad7184431b62a2839 3 Bell_Numbers_Spivey