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 kk' d< } HOL-Cardinals:threads=6elapsed=6.764cpu=35.396gc=1.208factor=5.237zXZִF! ,]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}}6<_7x]zay_ǗjWgݳ6'IhaXT 4vG]k? V]6eGx'`i.e!A[$G~LLǥ,y`H.n<Oq =53؇7r_Wνo.X< :Ԇoku`\8P;.rҏZ$_)ipK"yS E֙s0F[Xm^*FkH41g?l`ŻO8x*xw'ƐE&\ Qָ¶IfH؋[)ΗKXՈ^hfķs*r [h~"x_\ >\YڍccH#l|Sk;%ڣk H|@l;a jY]\$G~UUP#R?,gYZ7zXZִF! !W]ŗXi%6O&I])cQ[,5hJ-T]6H赖֞Lxo5Lr(˛0?t嶈I ͧe3R:ŃaÇ^ᛂE>c|~]SUHJANg limLiٸ9*f:Ԙ\|%{ BZk>c1PoeThaε`Z[v*'>\~h^ D'ՕwH :])ijIY$JqQPGR} @AAf*BkP`AB>0W URAr:tPvg#siC{cBOj 0}{" خ= "KU&5bi4l+M dg)&Ky*ۦn(BEz$tA2&wN]* U//Ώ'롢jyoEl#v bKx^ޔm&(Nrk)-r1|]^[J.i+ꊉ _`\3x)'2tRs=$%)ʘT8tiǫc4x/)>aƫZm6 xhD+ )5 YQfjA> ~j0i+dQLDsE*yysC4K$ | (rB:gYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 682abf8c978eaeec90fb94d25398880210ff5f10 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 c16484b003b7ae40c2eee619dfa65bf409c6064e d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b34577407bc5e422d8a419d0b388063e4c67f943c36ff 2953192c9b84ec69949efc0b47b4467e087e5b06 238bc295d892ecd6acd00b8405a302c69f482fc4 ' HOL-Cardinals