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 p3  c]Bell_Numbers_Spivey:threads=2elapsed=18.595cpu=34.616gc=0.620factor=1.867zXZִF! B]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}P*lJAKAnYrz%,a O /L_KK,1Cop䶼/{Xz6Xvq7-Q{||╍S͚Ywex5HuS!|nP/-K6.XǟcP:vQUƈn 9fd,gYZ7zXZִF! b]ŗXi%K6-y_gX$)ej gFupun:g0.)а=!7 8C.UqE7+=_6!ÍUC馝i~106O~6JuiA>NU1"f}Ssn.'{>+ۗPi 3э o'k| >YԁrNk *}Z%yDu,nx๫?d'+tv=(a"r6-p['O+hqQ8+ rD 9#kUⅢ'#m]MD43w"8P:F/@c6y;^YN@)1à0R 4WCUMx 3cG, cO1J ⽱ănŹmݡ`ȅP/]?Ef[m+]2xA!V .["ˮhKy I]YN9pzEk $R'~]*VTZdPgD' =RebIj A#`9(>P7ϒc!D[(u!^z/J- Oc;߯4D}쵶˕$ɔ1ȉ!6ibN^_5IPH-w [L{=yʪ8kUN_#ϕqqtIFz7(2̀ J[P=&'\1-hc9Wa'LZemrfl 89a+sqԄgQq{3e@|ΕA! 5i\-a۽DP[ QG/ds3 N[!>Tj꣆mK_| - -l4(:޷g:xT{X%S~G^ a[" ?E*ro '.q<!AM Z5 SgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7657e46556dc524f29700dc86a99f84036cfcb84 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f103f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 3548de0143411ed5dfd3be9ae84237144e9529980d2f0802f29bfa4753e8df34086a599e0c210526 3 Bell_Numbers_Spivey