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  << ]/ ZF-ex:threads=2elapsed=10.630cpu=15.336gc=0.664factor=1.447zXZִF! ]ŗXf1-W(TA)GdJ pgD3?֯.g?L r]lYdaV4Wef(ᛚٮ4Rlk&Œv6[29dLnJ|kxi!ͼd,t?njPJ94Y]=3{!)KS34MXj+4&3#8@,Ӏ9HeL $rWj>9 :2vAaLN ,ygYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\{3a1b\j<ր`,]9V1TB,_ HZhѳ[q=LdfJl= dO7< jت@5N oh 5aqo :GqF+ąU>SeRYzR BJ[8* jNNG͔:=nj+$+ svг6I)n1aS==Xw Ú%cŻ4l{n%_ ou}s/g.Q!z,`J:.X~;A=<$M%k`%CҸo~q]UpwMN Ky! "*ɬZm@DQk Hj(=U5ҋd15 FBGޕV^{7:퟽N2G4i+ "eS 1ߋP!ɭ߆d *3O7trSiZvd+FH;DBCHWvfᗾ]l|Z)S.AL=_7ڲڀm{|N=Fp8;jPu}Ql;-mRk~?^*+`ք[I`C!RП̶Ѱ-l0FL#u]=BΓmg gYZb98a88e4a9842681ba621e09e6127196e3bbfa1141dfddd2151ebee28efc9e26dbae12c72d1935da d88cf60679edcdd07b342f11b378e92f1bcd1a52  ZF-ex