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 93 t< ]]Bell_Numbers_Spivey:threads=4elapsed=9.184cpu=32.728gc=0.552factor=3.567zXZִF! >]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I]tp\Bd",R3d@C KKEŊqO8{#/<0Ϩ|m 6VG`c$%gɳ*e M?q/*ϲ~/@3%4W9_T9tQi*'"*~*1لP"ҲM o3mz5ƦIפ7}` hܙHt0R(iM, \_ٮNnQSsGv1N~ڐ>st7bߝda-h\8ZT*S`#פ}m)ٔYH$x сbt_5D dg}&>yb}4$qp6M, oI 2L*žH,P[s4 ~s.ѹί)UG`n:_ k=?Xft4û;Irn{:{O2.~`\%gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNaBZ 4#|чwkMQ<݃惀R^t7(\Ֆe4Ge첏MӢOlQԀx%LX4>]?0yk.)!h?hys-HbNycx0αgYZ7zXZִF! <`V]ŗXi%B4,YlֵLF3#%#k*ޏH=͎QV2OɊѤzpV!> 7fm˜/{wCl[`2(}oRۍx>5tDeƙU "4]f뤙yޞ QQt~'Bs(1BHDpR٧͟䯍-)< ^[00iA?sA %VF`j=G_{ZjM~ 0V9z¬4\%ײa%|RhA ^//y>Yaʃ}eu~.|{%*Weۙ>k'?n81t4D=O}s$=C_-1AG[5P+Al#=Y-\Hw@q_M$E{ ?p[4]i8x-Ff{y0ÿny37IqHiOZ8Df 3܍ xV7b3("qU7%aqKhpy\@[tZ7T׼O6c͂ :fG ;zg䘵(OMkl_EmO *w% G_!k|BC\:p@ PEu`Ɔf4aq:4"vHNZ7?Rla+? nLjZ8>/H#$ZNqRv"wlMC^Gr]LWB _!C1.GցN@ I0tTSת/U%++V6 3wkƯ-5XŨK~jP\C7m }n1_VQl/!rhGewz>#6tPAKgh c22B1ׂ?KTI%v=>uCǓY8hpX9x8^gYZ95462a9e07610a4ac6605743cd48cee805137b679cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c3169d182f50bd5655d309c9a02977506b4b6f2e7 3 Bell_Numbers_Spivey