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 dl< ]]Bell_Numbers_Spivey:threads=4elapsed=10.229cpu=33.388gc=0.484factor=3.267zXZִF! +]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Iʼ=J,u|?IڀeyG{c@T3&eE4[mգZ!1H;k^/%7fA>^7*Q<9r&$E*Ȅc!vp;G$'aizN M7GaIG(\021|[Gb?/{]ı'BD v4c69 \`$m{lzZtO()ըp`g2/%/ٯC,*ݥr?V'Ȑ`Bau蕢,IUyH@1"Ͻ6n̅p,~1"e8p¦N^?OtZ0`RmtWt3C7e՘1\% ^4Uw79e$QT&{ ~S>ue<8#pe2gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNaPtĹdD8dݕ}帜z^~9%73Zo\&^o%Kn/[+CnIkHxӳOn!jڄ= &7sTX5F5btչmKUgYZ7zXZִF! KxU]ŗXi%ES3ߐ;44 csu4qQB$=n f""RDpD0SU#jTC9 )AR^*0FeLFm_N ~o6RU_sh[Ӂ)R]/gR<>'3ZO/K|:;I w]hSIc;Ҝ[ JqHsoWڧDタ œ '=/$1-}*yVS )ZQLQn+9Hp_kx-µȲ"D6PV0[BI3Y*UyȺ߭>5i)7,eQ4Eߗ_jl̕$ tZg8c~,Vy.9|lX.dq*#{@C:s&X,mcT]r!oOZ)Դ!BmJs_SEJ,&ڛXad1ظO goo@R~AX+YڥA-R_X=N9@zSwR91z>Xzn >5&hd/3;'ز3.j{'ExP"! /v6 T7  |z- CY R(HLrW]eh'|v; -Fh_NLh贳g1u/0s"e R/BvVTv!Aʖt- dHxǀ8$8iG4 aB#e;%n+q_A_*noc-' ){BXZ`,DO#}ک_ x*$F%4$5pP$ O*7!/qaƗ<זj8«103*Q<1_`~k׳%K?6^"}t)YcG݃:u]7T0thc!Z=60ODAC} ܈|],U:X 1SA. TUX4 ?Mw|l=q)nA$zP_sG`OS48f&j"^Z ۿ)jV>?.]1pܧ eep=)֒rQB|)' ] :HW@!TKVODByJkUj(]wҒ'HftB pLnZS= D- J+lPkyq:VajN(FNQD7v[~= idLJގa8-.({ 9ڂ;u@T ho@dA LgYZc84add362c9068f52a24604127cb66f89bc5bd8176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa84035cfacea38f4de59065af79672c3702cf7ff34abc 3 Bell_Numbers_Spivey