SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 k3 d, c]Bell_Numbers_Spivey:threads=2elapsed=17.858cpu=35.280gc=0.764factor=1.987zXZִF! D)]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}X${R6=E0b4#>7-җfp6սL\cݟx g> }(b43=t0=8\E"@bL_uXp|Ъ*Cu򵰌r%1mj<(K>%yps 'ds$|ND<i,Kn-C>4 rSMv8 ;FrNc{4 9OC:uvߑ}_zQ 2(7VR bݫVժP4g~JZ;6k[7R_*ȜO{x+_VV~c@{9G>%DYs{ӹ{`0DJ3whfGe?BhZ A2/^|ðe,S A~ x@JLxK!VcZݶ/^uCָ CM|R?Ad1az,fV6EClF#J<c~ׇԅtX! Zߤw|1$lp~t7C𯅁F$m5xD=;Z]vF6z̝d|Ւ6Rg+۽7wm '2]h Ma wkL*!5y"r3*@x.-B9~#' {eSă7"Y8KHk[,zٙ*7 pgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 85d794b86cfe725588722f5120e48bfba0313bd0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2eddb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107702d68dccbb9257c216148477eee7235e7590579