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 WW&' |L } HOL-Cardinals:threads=6elapsed=6.639cpu=34.744gc=1.192factor=5.237zXZִF! 6]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}$}1@1pL`_v6-Ž6hWJSZFNG>NA\ EN{4㹳 -H&`v30L|0CEvmyH+9+О8|cK@Vw pH( $96וaeò% kI!/\ S[sZ ˏ891p3U/iVBCI8S[>J^Fr88WXpceh|{̭x%~sE={o:+ ,Ș*Q?*'ӏ߶R=jhYLO%OɲƦDIQx'\1߲y](3#zDS ž1(OJ=ު*ĭM{JfS?M?^<ӊD5S6׳wО ц-,KyצB\.1<. }x@#HgYZ7zXZִF! `]ŗXi% pM,U C roeːgn- C3'i[ 8LZ !pNy {/1y WYNN)/Q?]9keNZx5i}M?a%1fq̉4{ Y5V}5ac37 yY4HǮ]̕% !1rgrbB,~rrE Pi6zs4TvNV d!\  >g*=g}S䖿|kd3PL=U *UFfl*o ;Up6~I&$sUn%+}ev<uQuCnH>t4v'Hk瑒iy "Je)A=\Բ ̗r/ ?me*䪥 T=&jF5@f 3F@zkO)&qz6Cn@i+{iEv'1hk(IH'iڗ-L־'k;|JI᩼sx