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 I3 \t ]]Bell_Numbers_Spivey:threads=4elapsed=9.948cpu=32.288gc=0.408factor=3.257zXZִF! &]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e6M%AUzLtLmG3I#H" x̀ķe $;xL#_^PD{Tj,>Wd뮩I;40*<<rq=qtסM7^;CBft<3"GG"jANEDt}Fג_z7vDu8fdN]NZ'(A#Tu(b{{ϢI|F hJ-a"3^s:5G=~{S D E[~x)r.|@\s6ZBε2t9uZh.KTS cCXpC([t%6Է.ښ-Yx_Ԝ=QpɌEsˡ;#y[c5/US&a4<9y㏣y}ϝ@E+ZngE~#ʱgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNas^zjA, $7\d*ߺ'c&uY6xmx+QSk'cpз'Ma)m= ԹH~#W}bmk{+ÚP JQ 6v4( Kϫ{k6qci;=j9.+RmBn5+p%n 43@~ B#R]<%OJ3B%}w܉bT?II] ?_uV)L+]]Z4wR&NjbքW̵/,_>۳f@ٗ @P-9yx:M,/섳On/X>dBpy b֋¸"}<acTd R%2 (Qvi]|E P}rARäKOY>|))y Oz. =sGY+{B#*+#OfZɤƺ %Aӂ{~r_x %>I؁}騒iʉfrVl7qƫ4b#=Ju&SB8W6{_bbmp=f" i0^+y]^E9Cgv))v{IT7iHÌm2|׽ -)rNR6 ^[Aͥ?ѺxlH\*}{{X#rpFDCVɧ?lZKe-]q\Dl5^!;v_P[M&:Ѳ[AOa\>;g gzi3p #/s zE xAd~uV9, \"-9Xfu˽򁙊[䛨9zK jGIsFկ2T֫Q3Wp@_%ҀkiW%i%#NWϘOΝQoQ)Xz-$ Bdk[e]}8X>_83 6-Ot)>[ }l'vVkwB`I$P gYZ5f189888e50da85950c1f759e62b7941bef4079476b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d30a4235c80ecadb06b8e057c14961a6bc450068fe 3 Bell_Numbers_Spivey