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 83 $ c]Bell_Numbers_Spivey:threads=2elapsed=18.848cpu=35.432gc=0.680factor=1.887zXZִF! 9]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}P+K§1k m׽'eo lyj֯UK)v/Ǝ62ݗ+gē :jX/V`]d7K;g 'nՏւɔ XSiKFH[XG9>2 a u [ =?KyJvu69gZbavxЏ"0pDTq 6p#:8K*IUpKLVW=?`-[\Y:{438OAB4aW: n?/Šg|N1lBSc:u4_!9*~zskXGPTyCؕЅsPɵwJ+#erƳw)B)xt)_/L ܹp^`!Et(x,BXGvyZk׆,=aοncj<SFWiY-GTxtʩcoy֑gO2Y?k_ VEoFV NIz;S{o? c!Lί^e (R6ʶ U࠲ap*BSq%Mv}m%1Z5K w /T#jˎED+dǺz"p{7yo!b|k C[O1.YC_>>~Vw۳enax+7&̞VMiɝ`Sۜ+|G}9H>CO>7[=+Oc*hgYݘ  gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7657e46556dc524f29700dc86a99f84036cfcb84 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0ff565699d945865c6762e44abe2316731d100e016 3 Bell_Numbers_Spivey