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 TT)' t| ] HOL-Cardinals:threads=6elapsed=7.949cpu=42.148gc=1.424factor=5.307zXZִF! q]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v [ho d/mg[Hc'#* Cq"ӕV<6ᏸ/`,^;-3T—0/cM- = f/2GTxޒN{jVW_| KsOgZY\<~e$|0p+9ǭ( h}GW cړ<un\O!F J !"1f~?\bnJ|&2sDo5 Ma". Da=n?tõJtj%MYKAD.K-Q_ȯ"J|P."2v]SzAwJ Z۬I }=>87%M! Kƣ W8DSB1 q3!]%l!~(6,}NI;XYi"(CŶfFE*_'0@RKj!!<0p ٲ9];9ppPkHZuDKgH+dgYZ7zXZִF! (]ŗXi%6ͫtd VQ`kɠ/ lÖ́`vShYX䓋, kodcd o e+9NyE]'=CS n̢갌ҚyXlG|z}z?M'y7/ѥP2 5yϦu<.<4 zxd}:w'٩v[ {ȏ6GanU\bxѧm.AFynB_A(NmG`䬆hQseIJyL ߽E JNX.*|3׽M"w]_a}0+]LxٶzU<$iИfzeAEГ ҙHsS;KJZ$9/E:C5.aš7D:]GkWAkewxEQ&`)䥂kr"6(ϖ5 Y;gq šs"Q`>bרOY [XjT̂Tr^PKDZ`QI$j-_>~ўZl&&1y_([RxtEt@8(B]Ӹx ]kw%c|hwAo\ Z9i%)lO`c>JÈŧF,8Dv8,49EQ?PgYZ594213df3aca1b15db29ead319043a14a2800d234c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d ' HOL-Cardinals