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 [["' , } HOL-Cardinals:threads=6elapsed=6.697cpu=34.988gc=1.184factor=5.227zXZִF! ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v g{XhE&kM^ӽ#5 89j?$Uv*X  JA2]5MmT:Ml)ɯvMi(;Ţ?ׅ>s)X@gf;wͩ6C 0_*}M.1ap]7] @AEfS#Hoʹ, K߲1ZA݊*_fz8҇"KL>0d3f){` Se?%<:R|Qp Z/VgYZ7zXZִF! ! ]ŗXi%6嵓}֣aҺ2[3bJӱfbTf&+[:zeZ )o6wʧ')on|=XӁ)[SES|9(GГ\/{J4{R7e]>CVJw|yM/0'j_IDUg8&49~#2WEMY*yTV{'X&3&fƵs@pE@~+ f荙殏Ep<)0I.;֝-1P>L1UGk, d^h#6 5ܖm\ 9CX&]:aD9SI10_ ٭gG;"wP[:;(M+}Y'"32(͚ C/#}UBK ޫ80Owi{d?`!"q5l);6*E e_H_qbs +.koJ+虣nj {V^Fx)K:uYQAonZr5f]4\P>ۚ7v>O ^92]`ZQL ~ZT0Xz")Q5{}J`hrZnvv>Z|9edaU]*F*E썷|H#ꤑp)ņPl9m6<`-wBvA\Wtephsu]mށl>$yUĹ61g6.@DY>Ód w,dhSO!Wʍ% DGoVx ?#ds9RVƜ"lXj"R Bq/!gYZ0fba804d67c28bcd7ee026f11ca5863180994c97 39d1029082cbca2bb5c37a9414ec85782939c523 4aa82869ab6954ea751fa236d010ba63fbaaa985 4f93f1b6c3e93fe5a7547d23edd458053452aa39 682abf8c978eaeec90fb94d25398880210ff5f10 6a3370288ea79ee9f494a3428259e4a8e8c5e0ac 7384a298679a9c21d2d0f490f2c86a7c467f4ead 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 9f2caa8cce607246da8ed0d7c63e7a661e857256 a369c4d99afc192a196ea064007ec13d112617f9 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 f1d18a4ea87dc7176b775af8eb263d4a43535e62 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b34576e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4 b225b9f4c0cdb55617d75398ca0740839167e848 d0330b918c3367a4846fbd140e99e2845acc9135 ' HOL-Cardinals