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.214cpu=32.872gc=0.592factor=1.917zXZִF! 2]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}՝\Yl +aXߠ %;ޘ9iW;c Zbw7zG]NJd oP%S(3.&MNUa[]m٫ n_J`zY aQJDfCͨ 9ޝ>ō{vbb磆~*KQHL0=u/@y[\Y 1^Y_[4h)cEd͛> 6QO)&_#}TKDfz4EJi+Xև@lfo`QP=XsON!啥* Xck2%}RszӲEIڱ[I&UZًjneV##_[&FD`Jk $9jnt 05K 9gJoy4!Cm^֠>ZeSm ͵@NO.:Z/2%f_щj 4JmSQНr 2, ^^,c*~]o8a;g,y[loDJ8 蝜Ym*;US8F g6گThsl芸 +3е9EAH!tw%s-5J'|S/aNDԹ&Z$IE](aAəMԋ‘O`N3UrHGLsCaILi + y%x +k#(]j̝HKlq($90x6\/ ([-JtN߂?MaSڽ#"D  gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 7657e46556dc524f29700dc86a99f84036cfcb84 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8accdc8f2a9040a94e2c55a565f1f5ebc711220b9d 3 Bell_Numbers_Spivey