SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 oo3 |tt ]]Bell_Numbers_Spivey:threads=4elapsed=10.279cpu=34.696gc=0.516factor=3.387zXZִF! d5]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I(]tp\Bd",R3d@C KKEŊqdUÊz5N%{;rh9b&֦K?(QFq85 2[vSAj4vɩ?PEOjG~J"i;p?XL2Ne^$n[jh#hf~͹VYlpa8ir)zH΅8_HIHby:,;쯆ʎcԄAS@˅ Azu >d8zN^ڰmSc?x07=wS&>w`qp w`KTp09.E \5Kat!TY3s+ݮOXT1Κ=0k)?0 yIc3rDU *֭8"vvNpդRMϓE7d$R1gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}PV&koGq>^JLn4\0r*xޖfm9m*h?#-}aF8ߥUj\ڠ#.ڝÉ gq|5i$7 :H&L*j a/OgYZ7zXZִF! NK]ŗXi%Bt0^L&ԺaӲi/2ݙ :d!#0m7Lk|`:F!$3W&n\Aa`HAPD DY1oblC̐ݚ_f3 2dFיS%7{sZrDGwA 腝')|"v3XG`CnZ2E]3~0#|D\O m3ӟ=N[lt03 ZXq1=>8*IE!nJʝ_A0)͗ك>t5<ìh@IZxSXh 'n]N8ڽ쵬͕o^°Q|zGK,H Q*ԜPY>|E-a2n9JJ 7am{䑨C nN0nƀ``ʷ]3dl޸>U-=k̥ΦRq?RMIm4aǍ͙=kYn\GD~'9 [*C?{Kb C |y[|jifֈ[_ jp:;G]qܚ˗PF[CgUjRU!UpUDcZ6oZ2Q9ϧI~D]>A wp*BSVWb5 Ж)ՐAi;C {[bu Iۨӗw6mB\r1ﷵپ<y共1tW?46VP Ƒw"M팅zwز%e nR'aawk ̜hgYZ8a208b40645f3c8f87ef0f1ff44a39e48cf76ce6ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6c1674c87988bffb845010e3bee26201a0a072148 3 Bell_Numbers_Spivey