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 %' 44 ] HOL-Cardinals:threads=6elapsed=6.565cpu=34.640gc=1.152factor=5.287zXZִF! ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v B3) sߒ#ވݵF@Qz0N"Đ ֻQo?!2~|SB:ejN!Qʯb~f%pZv1v .&E[h\ࡰZ9g1e\ΝK%큳5ǘfJv`Ƶ/ N>x+jq^Y_giP2U[٭C&~ .b ǵuUnl|,AY")yՐlfZVc;wrO ɱ})0XCVsޙj L2UR͏v ʊ2ɷOOscoو=`^*d " CT3aϺt.5CG?Q[&AX} t[iu;z.YkX7@Ys2)1 ǥΐgYZ7zXZִF! !]ŗXi%6Mu_l Ç*{;&Z`VLLDz?ë @喎ZB;b*ńńsr9ҷ?^_d2*Hxq^ 'jBulZ~wIv$I7 V0LnlzcN[Plb|~Ec8?Xd8C 8USx ꄡQkAçS٠Hl"G ~8԰O Gf_4`眿 e `T!ץ%ǀ7q9Ni2R󳅣C_Ꚍi5Τk[2I$څW 5`nwΩA %Shp?s<{Vm)o/ @{Z8C{]pkX^=%-ĥgT"a8H*O\ffjqB>Z)٩-`X/.@gqM $GA#s p~dxbGCOeozyuT8~#*9h4Z\mygjˑ^S5Ov9d$sGRA־4tIb#eO=yBrL.N%,5hOmUѤ!\$߶p@9)JǀX[2`@Wp`yŻe&pj ߝ}'=agk4]P:U#J 7yK!!.@F>j`!Еő7+^Yemi\n@^rNuC]zBq_"LOZGYp\(P["j"8zUPi=Ǽy@ HfIK/)۶B?rűgYZbf2c4c052bdcb81ec72ae5dacfa3adc9c810cc4eb32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef4 2028385119fafb7bac5001679cf939790c300aad ' HOL-Cardinals