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 3 Ll< ]]Bell_Numbers_Spivey:threads=4elapsed=8.937cpu=30.248gc=0.460factor=3.387zXZִF! N]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Do@6ɅzVʽr(ͩ r^2. Lݑ!=^C^hK;ߞh j~ÒU inW7b>SP9 &W+ʔ-X2EN>$mƂyѰnJDt'@a^Ei^@.D0*xKg$'o.o45ijuDyg>eK2tpxi*`֗v:(3cd~L]}Ɏ9v֒x-]ii2(VU'x@%#bT۝Doc:qOj#?;azHd[; 7"f8pS^1ԽoΫ~@BV翘xm;Ux6ʳ"0B9ME>-Cljz]- a,I7lEŲ2Em: 2:".cgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa|?&:K+j@qi%NNAxc)o!"MZ T9 !\cB6$'FE`E݈6.*>ÂOsPo* šxRcH))g!<2 ;HgYZ7zXZִF! EX]ŗXi%L S'\y7]+k׎U;=GR"ôFHd[6s6OPzU2/߳ .6%%?.PI?ELօ2" ſ.-M]j6Ch]Z߶Awc'Ct#gV\+t>'mVӪs|E*z=6)r3u/տSm8#U<|f5?l Pԇ^|%"M jP˷^=X{oEvFL52ZKK3-/HT#Tā$5|Yqwѩ/=1ERy;Ic R_ jaZ\ }mB\K3${z=5_a3ek^lmzc1&EHyv_휊- ϴh>:u;kgǼ.nepbE˗=Iձ*"5ܐn<(N'%:z|S~"Te ?uzDmtsAWaza`gO dz`AE_.%:fI( RW/Ie`CH. 'C);>U<-ƭkKTL0M .']zۜd+n:G\Y2Q۠j Fn+1`2Q ߻*H`LMlP&JK 6| '9NqϽMIY0y=V5S @N}^{1npW e%%76|B^җS[LafB ,U [岺KۧWe~X/*=wsoj(WJa*|/g~ ?E[Lm3}Ct݃2Hu @V`H/a7;]Z4{GJq*[ݿx=ǯurUšH ыumgYZe48c63af4ccdf8bbc76b5fbf95f93d37796958a2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882ccd437a7b931b47a3d5b3e1affe55061cbacae60d 3 Bell_Numbers_Spivey