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 ,t$ ]]Bell_Numbers_Spivey:threads=4elapsed=9.513cpu=32.296gc=0.520factor=3.397zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I=NZ<ݺf%ekC)sfC]&,5%9k6LprإnLx'|ȅ MHߎާUl65νAT/lMuMRH5"fgzDh1+֩%"(_bRd} S6r+yO،'S )P Foº.ozpnē5l׀xqN9;(eOۏ0${aZU$~et^fܠc05!])bv@qaBS֛¼E?!֞p)먱BcSdIeS} `֚b%\RrlS'(6>v`]@s]Y iLlHyu{'2M| D_Q G'oJ8^ۣeFwclv*7QLv~=ӵgG4P.F z!CűgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}Yb@(sן6lR"rEeKId!!;A7|QŠHoGJB|@D!蓅=+(&lI7YK ^LJv}.p`&tE]>2H/R 8R0αgYZ7zXZִF! Ki]ŗXi%G>}Ӱ'@W'. W (ie}ˮ'fJ[cAUJXapSު\vXw*X"p_B{b*s}@ؑBzǢ?(`*Z}X\p䇮afr2y*/lB h>1Tf/!5I2'|Ή=.<${waŽZDOd^~*Sy~R?ٯ?`=v)-SN˧@L +yr1_mƔ>&Mc H a[=d};K$_$2[Ta5o+SY͋Ο<R|c)H >}|Ճn;5&pJ(Uv8W u3Jt-_ɛ#erK^nXdl>h,P^ܽO&鮪}o˞Q\z[ef>FՖE8%G<.'Gk\!fdnhGx1ͻ c-9^flR%ߑ!7]9i:X3Kprn_OOP9%#]@κN dK ޞޱ؃H #yCWyC{q>2Y`I5*=B'+"wPru'.$UNjBщ)^8{Ҙqf쐐yHH]ܛ*Ҹ'BȲ3s[8ڐ;r IUC9R1?Yl-a/iG?DjQ5Yn2, |[lFcݦ*dV~*uZAp q (2\KoP!F&䥅tTc S6#ɝ=ZtK}|ؖ.rOO)3g,ݢ=)ET+ 6(8%Dm_LV'x-I9*Zoǎ/#R+2?hwQ q1#3ka噠o:ώK44Tz[2Hrcȶ)/_ޕ 5U,:i9uԦ!Dm u3u Bpz^fPw`j6ʗ]vÔEs ]\!&ވ硾05'9?]nXmr5}c#,7ȷT;q@T4N40䑦J3ku!h#}/s `C"gYZ4414c67b1551ae4200fb442b4c0c6cebcf9221f74e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8ef274783d6ea66834fc3db4e725d1c0b66cfc275 3 Bell_Numbers_Spivey