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   n Dt, ]/ ZF-AC:threads=2elapsed=6.686cpu=10.936gc=0.616factor=1.647zXZִF! h]ŗXf1-W'S)b-LWtƺ}*5$ws[2\D4:%c>.¦̋ @#V;'R7~e5t8H1F!Or:^8c CPrho K7!v$؞X׺W6xXm?|t{Oiw4%cR/U^ߒMTk/@ĔݦE/qё\]cy̙IhY~W?tzr)l`U'}EQTT?11 rUgYZ7zXZִF! ]ŗXiɟ98c tؠL\^og1ºr˻2rV'Ubt=T31< Gf+|/&ϖهZ.sɃT] }sYmM\BHBZ53=U2Q&4D莊3V\괽)+uޮAJrũ&G@78#ax1(#:,"p |^~W2CDk[ݱgYZ7zXZִF! 3P]ŗXi%96UCSpY3&2,rԟqLgӀ7̼ Co.ٓ HXSQݍ_k-(kSWy^mǰ+,'hL:G/]\p7omRf¿{LKDPw*љY; n"hy`dGMWXu4[(n CѲɴR, 0 Z^v*S< @VnEus -\=^t!:/b? O%;d] m dExKXyb Gt NNI2h铤o9y`@O[ 0ETGgR!h,CJ*=PMc%%2Fs7}&y]uif D|Xa!+'P󎴹#p d҅;W;Xmh|й63:1ZI[9Ó: bg߳pk czmS06u4Fp<' @kD[;X`A6f;F6yn=#Ǡ@8뇙}*PپMm>OtbP:H ]+dz_2J@$f>SV r ^Kػ [YEC\t= YjS~f\eDg{~֒79sHmCacBy=e>GAu~LOXF _0EB콭;Pd'?==LƓNM7le=U7iMKt<$N `3 2c[cַ2%6{46&gAYܕgYZf331f34b953de41dcce2d1187e01099cec703db9e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc ddc254d247935e692b26be3a557b1d1ce79887c6  ZF-AC