SQLite format 3@ . BBh77otableisabelle_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 ss 3 \l ]]Bell_Numbers_Spivey:threads=2elapsed=19.333cpu=35.616gc=0.820factor=1.847zXZִF! u']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR`aha] OYغrL_IJ1o"_æ+[?(EҴ&%vC,ް| :+vA8)z*j6ֆ_9h IyՇ- kf `^KX]R7vEF {߱^PMfқ|qJ9RL`ttEwDN!|RD6=}]EXF5»a9Vtte"J` Z%*YJ:H%T )SGL%`*[LKb-%XnYVi^D} _8oA u=X^A(⳰[ns?&Y9-xU% X2>'rmvjh|_ cACڱž7St|f1e_a/ ~ h ᴫ<0ڔOxܳ9),J&DxQHta\Sqf~ɓJC\M@f²O_:X\ +j 8ɦxEݎX&)׮]DgOU^#qt1+NJiN[e]Uqˍ~ 'AMHᔼ%hɝ/?RTΒuP.U$-lEHUq#G H+zs jJ|[ [ D"_Mv%> ݷHC`cF20,>ҳ.q[6X ^a&\BigoXeBqrp?,uHjT,~ßiwť^$˷?  ]ZӔ!`ʱV ?1s n7D0 #9J kO :-{-D&+=DH=]6+Q<]r 3|2gYZ0abaa7177547cdbaa4a89cf59e8dffac083758db00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c359ca46f33f3717f048aaf68c0ed299a6b9b4ad4 3 Bell_Numbers_Spivey