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 '3 Dt S/ Impossible_Geometry:threads=2elapsed=12.066cpu=17.748gc=0.456factor=1.477zXZִF! Y]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ:\|-tSӣ%qe/q7˖P!~lJªG~FF%B I6e-4ꔗidAPzdj+NB #{Vzh6;֔GMDv;K?tM Sa<Òc7T W7S-;᫐,+4U`>,|9=K{+pMͮRQ[8`Q[*ғ<D:v<YÒIjqu!|6TB %o,27 ­16+h{7R&rS7X@\"}cYSCC J@8 WШ4U}EXa[)1o 9_-:K夠>[gHMz9-iYl2D 6aɴ s:X^ NBhlc_?X#+ä;+@OwBZKГkNy "7jXƶ7pp] xMTSWZ9e>DČ \ZOEž}@.GPRҁmqS^DbDi?nEb<#FA"PhWgvris-Cb)eԒ"#y)C7ԌnşNPp {A<B-7 }ckƽBv 3 iT!5p$$. ֍*<@@1+i7dz dmow͐]A6ρ