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 ') 4t m/ Pop_Refinement:threads=2elapsed=10.070cpu=17.184gc=0.724factor=1.717zXZִF! 7]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[VACh23Òp3S>#)n0K1v>TmL$>*2 j73:&HU`mm01~sM {u c;'7D\F/_79_ ˦^*?rtq'f&גSl3{jz2b]rgBy;'^)㷭vvukKh"7&KNe2 @-7(N$NGD%v(VNj=$YNs61צtE N68yoDQ{Sq E;f>fKBzuoIXY g}(a/p |bs |^RoȘ4rU$LJ6-z&I="_s{WުUnbO,VԵ líRL9sHY!4^ }rAngUJqVٖLƞH݉I( büyHT[%\~T-Qzģ</B e\y̝} $桺5|NDklv&Bs9&;:؅ ;*l www ]ƝeY}uW:-jx2c_k)Ya6*%4ʟ*cѲDa3{+D>:j`'C`ĭXK :Žu89cE&vi,,Sǫݲ{6%xARNu]άGgYZ01091870288c89b07c9a8196906ab1a28f5ce144 0c80d94fb1c53b8f0c0160954bdfb879eb089e18 2d2a991981462407022e9fa67eaf8a93345ed7b6 4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4 7ce7d0fdf02c8c654052b525989e64c818494305 bc4b5798bdf4ea30813f681d2af50b022d03e347 e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e ed118e9d957411af2976259e5705576653febef2 f396d09fe17cc04998f89362bd7930d76b4f1534735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ) Pop_Refinement