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 &# \ ] FOL-Fitting:threads=2elapsed=16.201cpu=27.552gc=1.984factor=1.707zXZִF! k:]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#D'aGRA6϶2T+pķ(!/npQV ӮhYX)BG G |/ Ãy A6ZR dX^Ҝ/&VO|5rPC5*!'vwG##s&;ٌO1BoKEyKT 4"FuW N?f"1n>G#`b@]L"R|9/:/erU[$@,ς?޼"2I l|aGӼxͽ1.age W1$&+3j;Jfr9_i E/(H O,J=RZ38A [!yh0>x|i { pR&~ĚH+l6٥?xY?•a%Ag̬;Uf }CG,%[9Gh|q6gE8Vwd~O'đ㕅6JTp}-5큪K8d=C-0ϸk&Wƪб9l[̎(_a6W1אߊ A#O"@n"GzeShöÎ\AKYݪ&"SԁYFDzBF8OK U|6FҸǟiŠyh4wofUڜz#9&;l]]oAZR65&2i_'h!d=bH6{m(dӍ Z#%K>j_D29K /s,*䴽@MK?2K78fvpbB_@ˡ9:0+6t԰6.:dBjV&ٟqZtx8iR")0eG+esZ|(,\kۣJ\5, Zfj );`û!d{;IiDP! *Tò۳mT[qWH0PR8ATV5`œe<޻>{f9\ћc=TruAd& 2eRnU[Tמ|y߳a^R({ι #  OgYZaf44c820c258cd9d351493a3e0a6174d50f7e000e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f # FOL-Fitting