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 oo' \< } HOL-Cardinals:threads=6elapsed=6.526cpu=34.700gc=1.136factor=5.327zXZִF! (]ŗXf1-q恈<-¡$johkX2I)<ҌуHѿy\q!"ܫ!6 YD¸GtUn,edrlfag pYZ,}* Y*jiZRGĚ0B7P ҿ`ؤ^U6؆ wAE#z)'oȞ?agN ?"wqX*g:nUT,j˜v! ~tS6Xͳ=D*poL ؆"{?Ļ1~ %_wqy }X^|fK{%2z:8\Qc{\ "&>6 M^TDiڗ; ]NJ'‹km-bNk;] .nO@¬&;&D 9i~*s'1؏ʼnvdRƍ["w1A_m܌e$vʝ9–H bi}0VS!8 gYZ7zXZִF! !X]ŗXi%60gmjދ\E/G0:SWL%=~m"9o'v Q|VbڥU;2vpݓ4eM,_e$a ٛ(fy.~rங;&H Hɶp&zbT7-Ѯ/̅ #ɜߎ+ Oۍ|+O4[mEk0v-q{d*B.p O_o[#[à{g,jFĚ @zz3$ؗ@ cU{tǻEд' ѣA'˧%lx1!Msh8"=jtwtnvC!aI&ϗ]rB߭ ۺ >cDqC|,mȖ<I,$vϖGM -IU$evekM`*l*m\(ǨfHp FiuJ`ng5k;Е'~!F !﫽I%:șf7o3ȕǜB AgYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 682abf8c978eaeec90fb94d25398880210ff5f10 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 c16484b003b7ae40c2eee619dfa65bf409c6064e d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b34574dbf67159a593b2086dfa23682656ac9bdef67e9 e685f0313d3d431de5462d46b1d0468390c590ac 6d63624117467d94cdbebd9346cbbae0f211d11c ' HOL-Cardinals