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 ld ]]Bell_Numbers_Spivey:threads=2elapsed=15.312cpu=29.632gc=0.920factor=1.947zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N); 4sErN )WBW?He:L` ^8]~kD1اx1oqƀ@E*h W#O}[-Ҳ fqD|bvoh 8Hu%Py۩m1&պY>B(*1iXP R'u~o8EG'$f\X̐M^_3TO862wEᥤ`& k(EZ*h,Ccm *)')J3rߥi M "ɐ.̴K;Z.–<`r1hH 5i Wr-0пcY|*"v0LRSȉeYI(=NF~t#!xj=UR!ngYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa' R/` g(ՋVVJ0$q_\+asH.c{t\*Q?*VbFwA|3B5Ȅl[ igYZ7zXZִF! Yj]ŗXi%;*+oidnSqr{h? LcqxEbxaa&zR: KĄUJ@4DA-d:+\bo w'12`jGNZ}6`ھ NzzŠX_/HfٯW${=!.dnM%ߓ֏5gK,&BGJ(iiI=fTGt≯ =6\&e;rA*r4ˡ5y8@ԅG8:'  BА=#Wxxtc}k$u&?xH5SL p8 S|FcUz1ްYS{ts\^@/P`j&4stamN;ŗFpG{Iķpp+j|j'%.,oYe6 _xch+> ddH xu~Zl~m0x?ږj* @GpCl8)COz~&10(ՂK -ßfts &.RYlYZu4J@a~#Fsя9rZ{J%keZy1K*\/bre=/M(q틩<uBWxx#R*U0<7NbA< .+%MhєܨhnfOR B0pXR׋OS{O@ ǻ%嵳,} ]9(XOZ4qu` M$T])^XJ[WAX LJ1(NoELPG^77+L ޫ%;0Qqj"@%CK+Ku 7HzT *8\!R,˔PV<~vjr?;ш±Ĭϟ”(s< é,FY+!]B@+(%\\r|oĒyh񑟢5niǞ.T7]{0' ۢ?H~ W˸\\@ATsrRjn,2*Ω2B&>v_J5 4|E$M{|",[(/z!:Oހ4Posѥ@`UojZ7P/;+m;.UϸLb<_ sj  R֐s9FEen3ih 0ޤނpl!ߺ/gv(n#eIu9o{-SIr*_VA*Wʧe E "\+Z,FET$'O=ݡ5jLhf5M(4~¡M}-B֘Ujo5nz"l}3yPqcw)uPj8Ĕ[gY= gYZ9bf135330edcd729dabf74153216a3157257411cd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f291139c9982747833076c239d86ccdbe1fa4173fe 3 Bell_Numbers_Spivey