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  )dD %/ DPT-SAT-Solver:threads=2elapsed=2.939cpu=5.332gc=0.028factor=1.817zXZִF! ]ŗXf1-/6vRZͬl #,Luywn[>ς[=pȔ=U*w}>Z{rt8HP0gN#|:颃cG@W3jC`';>%i*?Z.xdoȚgYZ7zXZִF! B\]ŗXi%~_(qidUٶ =3|܂p֒ȜPw HSH9O10UdKmf#/;޼BL.6?J*]'>Fp2Gb~ɪLf}u%Ye Ŏd\1>s/湭$ml6Ti|lV C//v,ɴdp1Vز} QH41Q>x\7'i*> fu ]T#xPY ~0!]gJ빘Igޯ_sSg;(`^=?ರ 6b@wx  @Yoe~,*4/)hv;*$`i мA{Z%30ۢϖGv{4>(-$Yȿ‡diއ&3KNk7ȞCWx\_t7άOT~D{EiЭXߢsRjpK^!{z h3ڤ9