SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 g' T ] HOL-Cardinals:threads=6elapsed=6.544cpu=34.132gc=1.348factor=5.227zXZִF! "]ŗXf1-q恈<-¡$johkX2I)']8PIyKaJ̧FAA=JDKKnU$UT;XRF'D "zP~HWD ԶH~EO@)G{'zD%.EbA 6О,܊;I%c^Nylf[<D1]^hsC҄ʰe@u#Ç7#,e}8dYspϨXq ibE"7o^qMm{V#ݨ~CAMy$DL Po[Nc}ɏ9eJkp(C($pӓ0&NhEL,–S8zvG~%t+LV(K/4^Ѭg:/Hd˪T,RιxF3!zaBIOڜVčD"{*}Vo* ӱgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 zCc'LӁ8Bm 㳲%*cSwSũ4Ov5wT 榷=NLW{8Kn{=kS⌗-/JS_'ъ8AJs*J߰$cj}]j:f"Z tAb!0%.>F Cn} ՄU=eIΎ`+P hktZM("UgYZ7zXZִF! !z]ŗXi%;w3_yd ;} 7?wO:Iom"U1$$wҵ{>ۀ>f 5W078)pR3dO?i^Ň1Qjbh>FPۙB]>$؎U4w V׈d6HI A."o-8e٪ A:P3%^P?Eyu%^j_[+Y !Ft1QuJٓ{Pʹ'C^V +P/x{9}Kq׮=A)yϹXTiV/X Γ_64Pŧ(QSK'|m\ Fb|/#ٓ$y $͸\Y7"FQtW]|TޔC]aRq%g&~=`O)Akj-9xY 0JA7@8E*#!DLgK.}_Q٪4ˤU+Py#C2snrvfL9mL@+ 6}(+ QƋP;Grwי X ,♢BgYZ98bf3f91b885470fae28b2102d139a0e29f7d060a3ca72e93022ff3a13f721dde80608155e0e134c 03ac95b81282031db310f795682802eff540a88f ec5f667793f1a373a81b1fe8344e2c3b64c5cda2 ' HOL-Cardinals