SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 |d$ ]]Bell_Numbers_Spivey:threads=2elapsed=15.642cpu=29.648gc=0.784factor=1.907zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S0FHHl+{EPWn.J]R[ inr|KC$_{{Wx񻣦󚽋iNb,XAb1Hh;h|Yxrn'HEt̽ K>tY5C槪39xo`q1{̀3HWCVږ@EdA|nmyBn JoZڝB7j>Ajl(^qvQoQWy'F龃#g KfvM^R]B-<{DL2݆s5kRWU鿷Haeۢ+nPow삽T(p^B7c6dICdF%'#/Da 1SΫ.hC\^"a=B cAra0vYn:f+ fx|>u>.!YMp1:;0xKTAF?UŽwu{sɱŽf 1Tcs7Ll϶2$B!|^Mg\rn͌d`aIΐ?>&K/-?_;-~DJfUM.ʫܣ2R/FNauy2hٿRKk6_&ԯ/-ߑ:'\}@'!U_\cX+ڲ2 E1'@oY"9w!tJ;~/YĹmY6F9 Z ޴z1)>'FB|iz#N4"BTk&f]E,/`r^qHh$۶v\=PTCD >US{Na&p2O U3EX}j__//ԣi9);I 213; njk$Yd{:8S(vՀ%ʿNyVy| e UnigVA2I㧤BT>}hQۑeVY aAWEn]fE}O\ [HQOnܜ O]ceb#6jnaE! ~W5P1 c:898(L/ 8nY~U`E}ϙP˝GEHQo4tuFi8Ȯ?]ui\z:uU5T. ߅vRʨ&nP\:;`7 IГ-Dȓ띡/Ab/ NCgYZ4d735baa46eaaeea3fcb79e317a8086eb7e83636767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0876fc7572e0aa1b15a6defa666b927d3a452ea54 3 Bell_Numbers_Spivey