SQLite format 3@ .0:  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 TtL ]]Bell_Numbers_Spivey:threads=4elapsed=9.253cpu=30.772gc=0.452factor=3.337zXZִF! P#]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DKo@6ɅzVʽr(ͩ r^2. Lݑ!=[@jCJߊ$ҕGl2}W`0jlxa w>% t]+ ЧgX#M7p>E E\I?ciJc+]*r|fijsw].8rj/2PDDL( XgZ*7Cyt GUD"ϟhxgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa{ּ8pR}I,ѕq&?3*J{g9S|c%v_u =LJlr]Korq']mXmv#*2evyE Z<0D=#V$b^OgYZ7zXZִF! H^]ŗXi%G̉Si~905z';+ oT!Lp% /7/>Q%EOX`򕎮`Z}yQep{)/֨BJ11"XdIjƒW ԻDMOsodj^;裡ho)z׳A]KmE)>i>N/?A~CkD? $:m@͋[pVRDT6zE|. oe[<"{}ϝ:MrXk+«AfQfD޼yk'كq>an7Yma\hnF 6kB#7!r{aŮ>2`XBRz>܂KLRdBݐ\%Ѽ QM|[UM6\ؽ t:UGg1ه̎ޫ4 :km&|YOɭ,G`Gic'~ ݽuHKQƥ4gLC>Թr1w OهI-'~5 Q7-hx- 'իzQҖ[;aJ3nAPQ Ӝ5]ɚ41=U|׷ vv< '_r"D,Ǽ]R_ xR$Ճm!F BL_ Q9NoPk7ZT;6Xg , [1ġoq%l5[Z%({8MzTH̰ex)Qt[ahg>P!/s[%ôѠjU&ySe/!p"4A8Y]X{ =Ll\hpV`B ‘3bgYZa672b4c61cac51de0a106b41badf73f8c6719ba778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726eac73d902bb106a8b700d84fb37f5f5bf1bcb84cb2 3 Bell_Numbers_Spivey