SQLite format 3@ . YYQ77Atableisabelle_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, "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 d c]Bell_Numbers_Spivey:threads=2elapsed=19.155cpu=36.004gc=0.768factor=1.887zXZִF! B]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}'I>@g\z';2wL"cO6q~ٝg_CyIv'BoBͰC3ϼ_h{,9If.)HS Nt8&gks9Ri,XbEL⧤1ajaEe3 !qTUjk6Z磢ƚ*+eiytÐEm~u=/G;OFj_~5*.q39'N1R5dc3%@6隸246SHj&|Q%;#)-z,n#jR-o&ωQkY-ċwN:XSvx 9xWpd:&HyF6ۘ^n,V !+v"( ̱ ~5(,h"7Lwz ]Үt\R81"WȯYXtȓ.7vrqX~R QX(f:#PdmY TEHrʮOGWb:8r[rI< !䱎l+z[Y2Brݣ428+h?$ H0L$9&~>\\>aq .pusDno 뭚 SޣQM>\}E$i5@.7F d漣xHIGۥ㯜Q!AO ^[3T~mg%9!_poړEE| D!gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 78ac49fdf85c3de0e4ab96373bea0400a0ec45ef 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac a629e15b2cee69643b96ed2aea13283f80fde31e ac7a0d9020723b856d38d690ee81499c882c3c3e b41140e5d7a2407a8156290a73a29fa981dda49d c0b5decf7346f9ae8d66b5f48791a6361cf102f1 d40af53e7a90ebc82ead3f10dd760be13a2f9dc3f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a6614625b21338ab6b6099f4695bb3f47bc5f8c1f5350a 3 Bell_Numbers_Spivey