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  `)dL ]/ DPT-SAT-Solver:threads=2elapsed=2.886cpu=5.240gc=0.024factor=1.827zXZִF! ]ŗXf1-/6vRZͬl #,Luywn\d sM@mb G5򸦨NJGOvp K3ï8@h;q-'si\dB^wɐB~fHڜWG!0?_,чjȚgYZ7zXZִF! @]]ŗXi%6q0_ke{kɭfR:koɮ@Xx)_#=K>/ŜL$=D_4F5dgTJ^0O hY T{n8'E*Nh4`k/ 3m;do׍@*io'i7@Rӏ*8N>nfwjX"⮕ZR$3KۡIM(|Pl@\Mu|iXnUS-LJ7nU2/aUbN>/T޻8Uǿ˰.amKش@Eo#,[̀`Bm5Rj3]iE;'N#+Q/?]c86) ڜBZ֭|aV>zDKvYT)썲!z)?1:+dR? llPí g|T"`Qv2mz>̢=H^ENHMp(Skpj&]*7%QF[a#  =kıS@VXMN.EjgYZ188497bc8e5b91c1f33b6820128e3e6509e01ed51e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 ) DPT-SAT-Solver