SQLite format 3@ .;  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 a3 LtL ]]Bell_Numbers_Spivey:threads=4elapsed=9.590cpu=32.100gc=0.508factor=3.357zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ Z1­F7۶# ~WtjEw1kʧ_ pG5=|vQ`è?WJ-0cV:)0]wI7ӕ/vit`;2FML-R1t2\"Z2pZ {\ N,Cğ~Fkլ%5$ݞ@NU` U, Y$ 0!Vj]$f5IޗwAbp N 1]֞ol\&}a>FqnH7k:c|ÀY?zA L2- 3 &c֬VW񐍾X͇P8bt€)Ѱ|w6 VЦv_ Z~5'^k m{Ac4<;ӷօgWRi=dYfm4*#KFgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa};Cm%BtBN0TfRbӥk}am3Eq q7t8`GeUl.mFD/lTyhԪJ8OW3guJUaB)Cf 7 ,g0αgYZ7zXZִF! K{]ŗXi%L xY4>m^2si4l7`fUwu>>@I2F6Tݺ_\ƹdO`[<1޹q.eo4(a/Y`*{});fI딥Ԣat0ef%o\bۋY, gW7 OءT+Dc|2TKvPړ*e JFS 5HTƭOh [O_(M!N&NˁAȸi9)Vu`t[wK"W8ut*?(N>ƫp3{_'&:XȚ48B-xH #' O@*<&I#߿&CαΐT.a ITWaE~RhϺh Cҏ^0 ٘A^*;ZQD2*Q@X\Bª3xѠ# ^z^!9 _|A l.fE!Q`m{^1SKo:Z8 ~gFWs '=j1FڒkH}KeUx&S/Yv>"U5=R?Tm>6%.කVG"O>H\Q__5;pzhAl`$o$1ZF 8y{&'uZgL:ORŨ=ݠ5ZnpyWJ =WAu޺ F@Sa%|.ƔӰKd jX4 Co 8H.mr&N;҅u{bx|tKRX7bBנP,IeSSdI&̅07˄ 䩪ej>eɡ~rPO nBG^ PIF5PV<֝bѩnM% 6eP?TdȒ؟aދ\s\dj{VLfQ jgYZ14df6595f3dec5f55b9e641f5be03a1892d3fdf5d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84ad477fd7f8147666cb45fdbb70a5a7f4ea8e1bbca 3 Bell_Numbers_Spivey