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 3 Dd, ]]Bell_Numbers_Spivey:threads=2elapsed=15.327cpu=27.800gc=0.652factor=1.817zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`MB:'R nz;fx=\l.^L.nj y\ؕ'UDgCB]$l_&j 8e~LcCQEL}t/eO_ۻFO >%)>;FsH*J]ևTP^>kF(DtMM lO Xw0HdIW#p-aR|iBHjU\;8+J<%CnO[8<mPkpvc1e( 0wlvyԍ+kaV}ٿ|&N08JQ llUL|hnZRw$$"_4 tvU%{E)k:0bUpi1 t78# V!j虈VH[}YzD/ol,eDN$ɰރgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa#XD‰:v炙ᑿTb;&.V1sZc)w-r 찀<0MtɆF6rb]3-m;ug]Bt4ri ǍI-Mdh奵"k{iԽ_D'2;W;"Rj8A;\S&?\f(>EvVRsH-\lD;$=%>@W ~w*9j.1aV{J"N+'WCI%vKPA7uaOI1:xa>/y#_rPyH{{IIQ_<o _ Sa8%(r٫h+;ʧ  fz! FIeS*L1$R]-Bm 7}>VW.Dش<ɾ0F)uעۈ7rM̒$~;EkD\ƆCTQc#^N 9GcjKz0T.>t_2Ɗy,;;^»Se*#&>`%xPSj_)1h"heٕ+rV ?W*0tN83Y-禠bM24C(̪$mcI*D) ޏW"s#ᔐTcw:ࢬ늢] "$腉3AV0w]W?J{kt~ +d'2./[yYfr?>| R7 8bJ97Xe$2C8.# !n5"vG`22,{)~S3F> z~TS46 Ml0_!LhԦ"&|#|?( K߭o%(c!݈EGK]'p&rxWZƌa$_9{%|AP+xiOHy8CS)k'N̟)䃺/#,zXVU1~#$O/%Ɣi} VV JŻG\gehL^~zD}CB}PgF/Af^Ǹۻ*cȂY&l$X%XHgu Q#'A !doc S[EK,]gR';ژ?cfVa*U `~G}gYZ81a726b7de28d11e8a638566b9d4d8c3572eaa38665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01818dfcd884393356549bfcdac5f9dde4a6922274 3 Bell_Numbers_Spivey