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 7 <l ]% HOL-Quotient_Examples:threads=6elapsed=27.473cpu=40.992gc=2.368factor=1.497zXZִF! ]ŗXf1-q恈N/|p~p%+)<}$PV>n(6tީ~ γ3ipfR2J,csjG5#bqy,a*+K؇By=w-'erfބI }5e)I̷ 7h3C(l(\emOTbj!THc}C6+{A*)lo"dHm̲I@(@L oLZg>Gul~sNq*^+H#/-Y~G9åEHjm&63qe#|qeZf%DX/Oqc>@n 15jЕb4BtLY&4hUTABړ"M$f9p_#BE PUC0wiD2tamK@*H}gJg%3^{= B~ckaI@op(h|kӥ y+,⵰ ^J~$NQF mtlma9-Rsg ⿙tH 9Kioqp =I '1/=c8?-:'gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XTŭWfGĵ1̖%i7m]@S ' N~69^٤8@x ѴH ۸59e]C5COefY*L%4zu:C xm5vgFOq;7߱!iyR!#y_Oʖ\ӧ0Hf*9.$(?9+0i ѺvDUjC#J8bN3WѐR`aT镂&pҘd$j8I&qO..ԊސxlI$ّxvb#pF&Ly)j)qpX vq';wʩ{ ⽟Ool$6ukAܛy_`Q< ~h .Z&L:c6]F·"ryUSmMg1'ocoMw +/s'58?\hVhW5R-#Հ/x-l{M}{(Q{K P!6,P"&5LqxL{)rؗ|Zֶ "1[1؜RTy%$KKQ>Ucl0Iތ"wsbb^yTD_t{1B.rp`gg*ϻs.T*#-"\Lt*_ #e;&PCЫ B Ӆ( cJ5OC#U )]\Q4Sκ Vӧ~McynUuW{Pqx) GE qYi3[\@0(|9CSP\ ]$4d`btUpLƣlEt"΄ 4+9{ʒ8.ǥG-nBC I@K@?M8 5#gYZ032aa66d54f8b37c3a900e87ea4dad8c9b6e59c21667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 f1d068c99c2f76c530db5071deed5b4eaab1d8f0 3986d1ab32630c2a041f5b03a505055cb1563f32 dd4467c41f9449d69143d62a68331bfc0fe8f4ff 7 HOL-Quotient_Examples