SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  P P-5  ]S Lam-ml-Normalization:threads=2elapsed=9.827cpu=16.112gc=0.820factor=1.647zXZִF! D]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘'b,s&_N^Ōlܧ y؇y[QfrN_ᆒk:jId{H@qRN3[:F`%.%_*4R fK $ŹwMBʩY/="ݲ,?v: - # .G0/AEo|gmě8u2YPk$)3ϒAA LSgYZ7zXZִF! 8%]ŗXi%6f9Tbv SbʘPjܵ{ Q1`Ţ[ͥje0@SЖIv=R?걣J%ŋ͆K=^U(p)fnO"M" ԼejH~ m$Ⱥ>YMf~%-ÝdN[#^~ҟTOQ/['jpLFPӗnکV_"wW O4BvoKjh;A3T