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   r3 4l ]]Bell_Numbers_Spivey:threads=2elapsed=17.262cpu=31.896gc=0.736factor=1.857zXZִF! 6]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~vT6Ŭ@~lQRml2)RKwP*Y9:v29o !pwI͵߹Ƈߟ]gzT - q$=! l /Ů+l0T8U`StqF_%! hyl@i٦/-ud͸eOZ ]gKD-.0Z;B)p|55J2M >b~5:sy.6u$[IrC|3q4qw4sB>;Ԩ}舾0 &&jkxs;HVҚQWyAM2pǷ9t‰$[H@ZχJ_O?<ϘH26]H&qv&\<2/gYZ7zXZִF! ]ŗXiɟy<C{ٞğ3 H&rAre"RH̀ڛ-MV m{ +ד 'x#|6bB%. OqY”<]F;GԤQ">KȜk Q' $ #UEgYZ7zXZִF! [>]ŗXi%9(R7xu7?ڻq/'=},$ڷ!4UPIgAQ1ea^\@+*hOs&ElGW𻋐kVaqer~D-o9|9h 4{mT' ?D~5?{{Y+VhsM=/VMۖ@B!(c_sЫw6@F<͍sݰ҃0Jc̛!>>vRcN 'YOEy|Ps=2M\oַrG=DJH1څ4(X~&n$_ы#8NKgYuëlʕ(:fHv DVEJeWHgcܖE5xXwtkh5Tԕn̘uB?qgx C}EP#eo^:DS=Mht8/Wzـr!~>T}`AXx "|;.nN{ 8Ȓ)l CUT Fֆz1C50'sY҈*LqLJ%/g&FmiӦq\ttx&W'caPv,B!',R:G|SڈN5~"Ǘ9.m6w n|)ӱgYZa362334bd9879a37483920f6b8c90d754609ac5d2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af3c7796fe120dfd1420ed34b455db2fafeb033ea2 3 Bell_Numbers_Spivey