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 ii) T < ]/ Card_Multisets:threads=2elapsed=10.392cpu=18.448gc=0.900factor=1.787zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M0>byٽj33Z)>?GzͿ(#?x @[c;C㡂7SX ich12yNP2!m1Xa,Hȴ$pq&ԇwYpVI/+D)Y vXԘ2vFQzHmjܪ&H2SQ oӊʴRACIi*|a1q<ϠyG]P1V#e8z c/b9Qjlc$%e 8PivgYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷V,f*@Zh=$/O+}zE`(J,[m6-!ܪL s/@N/5Y]^؄Ֆe|8QmcngYZ7zXZִF! 8C]ŗXi%9#qw0 bDsˡ(뫆Zf*dKF|pQE߂L, 8hJ%@p^KI~d(l x>&䕫J7>Q^8`[ȊpL}Hބ:q)^id(cut_(7vLSւPv>nlc?8IA݉D4AHUN_Z̞ASg--H- TF?@/-Ib.e>M(6y1;pqF9"Z`gkL="e"'bbeeF+[,acԘDĞIoe1}b駊׿&dSnpI30;SƘ/R%-?Id @Ofp^0Y-su7xDg*tCئF>ʻj;N_,jTa!Iex-=~sB";%jٷU gQ|䖛+y8{F)_ hEZŤ5x)SquErg3`ŬVq m*-6z1~{cj·e&aUj]/ͩj7qVyVהQneAK[߀ vЗl)MJM\޵@Z~+\pwj(8Y|:y E$pBRgYZed07e34b86e35357034080d5426f624a710ae77e8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a ) Card_Multisets