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 3 Tt4 ]]Bell_Numbers_Spivey:threads=4elapsed=9.414cpu=32.940gc=0.452factor=3.507zXZִF! N#]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DP# S5{(BUm J@N2OC~}ʡ^:t1%b!s] uvG&wFޏ*.+8s֓8qżlVBlݏD'[6?QVF. Z,9*JchTG| 7Cֹ ~d0ͽj_യ" f<4آ%^609hн&dr5$Um*3GAUlex[YF/Ek,0s;1BWw3dY6A%cXw(@C{g O//UaRQOTXЉ ˔lOR K[[k#kh:5Z[~~s!($$mG7e A9UI*Y"ށ+,&J圗Eի}qh J)"xg_}gIXEq6H$ .Icz%xF$m >_V^_14Fv QW9&}1u!{,pni'⯟=R΂nD . #܄4fp刱NCGH|{Ѧ1 k棺)Hܴ9QP I