SQLite format 3@ .  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 q3 t, ]]Bell_Numbers_Spivey:threads=4elapsed=9.783cpu=34.100gc=0.552factor=3.497zXZִF! =]ŗXf[&wd;6ZUUg$/MkO:5P8EA}hWiˠSPC$8xuCq!׆xRa&jG r/'"מ#[#>NA8=;n`Z0K =:&xrɗSm!{5DDB}(W"o' ثjkuմ%"z߈=zf 5 BRI64Fic’2a|P[r:;BWI:w,ZN'XS;%|O}hJ0BɠHpI2QvMø ˿z\!l$`PeJff8tsVz' .QU@ZBިkt:Leo)6,Øb%Jѧ?D cJe7O!%ZyLa]-pQJf{wcE/Pr/W|X^$nOz?fdw,Q? +ň.^Q V0Yd>޵s`=v/L%2gYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNaBZ 54hIB0LԇvUCS[~5Q]9=M;էS}Q·a&K]yS mYڰG?*Noc;9"WX8XbT{ۺDɂy256o ^5:xٻI68qy7_Nk&]_/KEcc:j+c zDɾ9,wcT  vlf9܅`mٿx晗'oJ0h bK[F 4g2]o ^Ws@̫@.miE9w hਜ{h ^T)Kz /*tA* h|92}ei:S}gw~cӥ܂1,]3[:ta@53vXffÉYAf1T*rQ@Ok@ؼVSU}CQUyYhUToK v%9R3UXXoUꥭIź>N pscH3SRUdBYv]ZusEkl=7Q1Aʶ{MYQoQ*8'2NOڶDw* J?1tEM0I(.rW2!%+k_i&$F @̯qg׬73sbI-TuƲytE<+qآi 6NVa~9Ҫ#J@wLim[p4-6 PVUy+&7ՖY͝63J?+*XvC2w˺}KE9TnpThh8x@ 8_9mDm=}K9xy_M|'1-CEP!wx[S][%7/\  HskE m/:.eQQ[B0A..3s5pֽ}1GFͨR#KVf O ґEegYZ539e0e6c51e0532f314c4874e0ee59bbf001efd3c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220cc4ccdfe33af3c40b423220b3c8a1e6be36531bf7 3 Bell_Numbers_Spivey