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 22K' t\l ] HOL-Cardinals:threads=6elapsed=7.776cpu=40.848gc=1.432factor=5.257zXZִF! 3]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v <!֞vVʟ <~Id"#.E29TWHFI$f.cbI#6wO3jsSU]qF) -x1( _#ϳ'ohHGYWR!UwtڗP:4^At)ۜ!zU3rCo- lXS )Nф;[e!na0q 0׏Mhp8ߵe>>պ}4!2a1Z. ݹ=Nq6szCH6^̨ߵ#4eNc ZRpӱjRW$7:Ĉ}'S, u2,Is㜳nI[Gs1IeoRu7z851W`; Runsi=zqF' eeh$W۩Otڠo9"1!@,~IgGpvV,m.&d^EgYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9HK?.>e7"$r)[3MFӺB>>#3zZkIcRS`t  >04:AD{2B |'Qr Xu I!SfBܯѬ~k_l^1qeR_ϟe>7UZmJDg g{>,monЬ0ޛ[LJ7L1rlsMҨOt[@T$4`-Z/8k/| (/6:gYZ7zXZִF! %]ŗXi%6Zp~1ȋϢ{37D>u78{X=xNzYp`RY|P];DFojoV<Ÿk:!rcт&^+ %^^J[ w"ApZH(o962G"oL/@ar\=aZ*ٓك:A"p ^G o* .p_*BHDVX-5I?qwרr0*f? +s E \ }( (G@LbX1nD=[V b?+YVh:%.yi'7 ^=cƖ.+*=9ūCƻT+4_ =tVG,NUb݃$ֳ73>JT\?Պ]D8crWXsُj)Z8+揍nˡ9.e\qv&ܚ Y V*:Mr"JYMqA ]WDGʦW@^`lol tܤ In}5n>Egl sK$mn9 NBqXƧu}Xj}=`קu$f?Ή