SQLite format 3@ . BBh77otableisabelle_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 kk3 4lL ]]Bell_Numbers_Spivey:threads=2elapsed=14.292cpu=27.996gc=0.700factor=1.967zXZִF! V]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ mxxo69s*6Od0$^݌?Ý'˄Hs\CԐtRsp\9#,QYvqv%xмNjTX3`/&aN1DN[{r:b4և3 _{7!eb"S<ìF/?g3r[xI1  >zөPF*T4 ,C?.ӕu:=UtY#{H񚒠kaY@YedJطLRy(n|[5tC:,ӹVx IHT`v1H ~PK )os)VnU^cwۤ=Nud9l+gu5Yg.JN[ Zd-,<`Vl~ɕA$T|$GQT1&]ՂZU= X7=Ȉ?B]H`D 6^Uq|oK(?mq à o^rt4 hv,[7@ШRAm҈Oɣ(J$kijZ[UR (Dph2LzԾ$R]owk 7c]Pfkh aJSݹQ9b?5m sZFJ@ 8446ךkgQlwD!oTxO@̍, m!F)=X01,[3l'7/Ia5HQUn-?R43Kv1\o|1#id$*vc#E~W*Ȼ6 & cv&IJqjHR zygYZ6b5f84f3bda8473a615da10a0fb05f237de1b41179d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04500758f58f2182ea3e24069d3de635f7be4c4ab0 3 Bell_Numbers_Spivey