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 v' D$ } HOL-Cardinals:threads=6elapsed=6.608cpu=34.772gc=1.140factor=5.267zXZִF! ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v RNP)ImcCxF;",]H=+qW>a](; '¤.#:h^kPFJՊ9#'qc&, ^qHUas:L,qɇFT ;t3[1tAVڕHCˮ8+6RL hrg)SWY xY|%.d|$#St b g:zbsˍ@.j>k9&6 zYy 䑙)y!_p^ kk2E-٣Q9N$볫P!IyշEھISluDL6V k]"SV~x%x21jHm3y4r !SgYZ7zXZִF! !K]ŗXi%6xMuHBW_̓gn|NsXFHeH}Y:6Q]F#bRw۰"YGːW .zᙝfEVq^[.|@MFd>J/BI{)Z\W%gno骓oRQS=OctOM5s]д3ҭjP;w?+D~'[}bãdAx!VB$a]3fFGL8YΤ'?;3*2⟣XpZ* PܔX۟!.pgW]QTfj:|>F E>vcCE4 wj1,^Y7MWs2Iڹ@9yGqc\hAIqEMjzf ic7N܋.oL F:..\VFh˾$hx)zej29-+CjKD9?\v)퇔pp{MKa'yE'׀&?2uAss1:^@kek"Ił@T6gLw}k;X֚\ (U XԢ /K5H,p&:ރ[ܢQ^ZkXyӬ㨢KG?asDWelQ<ͬ9￳2yͻ9hy .GnW*d!+[odgה=\YnN"t/,4א!3CMu