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 b3 \dL ]]Bell_Numbers_Spivey:threads=4elapsed=10.136cpu=34.628gc=0.652factor=3.427zXZִF! %]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NeQs2Ta9>p e&HoVCs4Г]9R|!v|E *@8y;=aN F8`[-ߤt?+>&/!B/M;t7l4H]`*?#:~Z4} O HK,`۝|ic JiW02nB5>IcHbI: )"uMOC.oXѝ0Fk㐺J?n ?#QD &q ˘Q?.eP"X(WBO` m]j!]G%g &49Vs')j&{Rwh3敚pq4"0$$\9"xS©rۄ]{DIsbK~V ;{H#4X A+- ;@sQ>$tCgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNaCd1H#VXpS}d ER wL~\)n[T~?7\Pҩ!E<ϴs:u%lNRn5 Qĩ'=Riڢ |I=Y*"j'\lc"gYZ7zXZִF! C]ŗXi%@b^~Z7HG}b"Oxl ;O2D׉κ+Ȼu8=Oݡo3=2I2IZFH7WΟt } ]x|/8 ^%TCh?=s^ۣKߵ, 9FH$){Zza76׸<19,ǯB8S:b#j@E&|w邤#u =ּ$m + {hZ$aN6T4L1+CIJ=Rq{mϗsq%{"WhA^.- t8]/orvqwP,Ct#E9Z}(믘Dx:sZ0:J$pgysCD^\TuYr `WC AYq7'@uϞ򼀡]_`PbFhteֲW {wGn4_4%1 jPvN?L͑(6 y+r* VQCicF[ۆ?#+5׳8 O<y3uӺQIwV&$в.ZMmvF'uԔDG%krك_.\șP< 7G +z},41p7yχVn ?T:섍NwqkxucGWJa&(hp >zH0+.!}K l!p bN\ J"tRw,eI<+?9}w J} ?ަfÇ֢X;߀ѿIJ~Siac$VZTW{?/w~wW Dsbggnma4Ja5@( *EjCĘ{# d0j={t0w^Gu%޻Qs&/3ޠ># ~[$aʰBD%qΤ4^ Nlo2i bCwՇ{>R !wEpZx}#3m'<  /lgYZc055483d06de20c1c89317548f183878c404f08831f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251acb24acac674085d045d143051dbb92dc16098116e 3 Bell_Numbers_Spivey