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 33J3 dt ]]Bell_Numbers_Spivey:threads=2elapsed=15.015cpu=28.908gc=0.684factor=1.937zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Wă,d0iÛ]A[ Yπ($=|@(r"JިtMEg t h8@凨<8ԽL#JoovM= 2 bDx!W/[5+X*5 WQꊡ{#{,᚛eWbI(I9SxoZXR:_l )b]+խgv F"XV$@% }!i^.[^k?/x /]r E9fY춥)iz#ZfeO\A8˰U 䒝WdD8r\0QCM Bu@ *b&4P5Q Gg¤P:AI27cΒ2nkA+q!HaoĎ AK%ڪR n?# !TgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}Z fn|mVwI; ŻeD`lٲqN8E\Fi߁M)s[F陴Ikɣ^/\!.Fx] Cm@/vÐ8~ S@״ .7t47lc"gYZ7zXZִF! V2]ŗXi%>gxJ':*sӛ72LcEW9RA-eQvEv4VME7 8X\^|QxS 4XM}|ugnj :-WƬ b›{Uc/DC ]=F? c-8wAZp c/L;^.&QuY k:eGr'W:ȴroYVc 0;Od^*iRl~I5n|MA:K>]QP×#,o=3%l$ܙbgSn_&r [RBnq*0?mSB~3HIP'B ,H4t$bE*'#Kh&$4>h Q[y2#iYsg"iֳ{AL'Wdl/ TuGV;-)ȗ"F|5":gl9"Tw ?*Qx'}hFÔ|Dvsտg8fЭUoQH%Yp=ZA,;LÉM4%u&gcqYa}y4/^GF|U~ 7KvӡmT>ˏKV#|0 Ӈ<7"\ h4tQT^|\{}vnN5eq訷"ٚ?N_8ݕgÀ/!{v]#fQX`_!J/0UU z\W?E_+/fPX{ S;aI*|t!cK*~(RfS~*vA0l51ji@  =e\WhcV(%w5"MhI>5X''o2 ÈNt)ndXc4bu *W}ĭY 3/81}s!T1*bU~X<%('&Ո־2j5yP5~@'Md6d t?d~%^XH\smVО2\bbY@)w xmjh9a| 貘G6)BV9׊fg?w٥HB)3<:{ qd#xNV%5,(+c=kTL7v7+]}If-|1"@6\h_ irƸ  gYZ81a726b7de28d11e8a638566b9d4d8c3572eaa38665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b1ceeed2cfb9c3b9853dfcfe4acd7badffcf4219c 3 Bell_Numbers_Spivey