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 CC:) \t m/ Pop_Refinement:threads=2elapsed=9.883cpu=16.956gc=0.692factor=1.727zXZִF! e]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9 B6^,NL>K'GC5;TyuDW։!j?19H> WrZGg^vBexB~; OyfRlRX+X)A2G1˓[vP#;C{,}b$R&0,0fFڐH(j h7;nF)QUm^iL@V2n5uɓZsҘ#:oQH\|*"Wk  z*ͻѱgYZ7zXZִF! 8I]ŗXi%6ҽ>&b#uhWMSI`gfESab?[RKDjó!ѹPި݊?itՁ9W,kYS 9]W-p0&I}:+q6 h]N;ɯf |h$ ?sq =xm_Ij@,HD9ldPGk/B2DYJT>$O֬]g@#Оwh C,S^q5Wf<-RvO7Lr.<6Ό IHŔkx>Ŋdͺ\pCIY$6>lEu—s9LYrt#?[O.UpcgYZ01091870288c89b07c9a8196906ab1a28f5ce144 0c80d94fb1c53b8f0c0160954bdfb879eb089e18 2d2a991981462407022e9fa67eaf8a93345ed7b6 4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4 7ce7d0fdf02c8c654052b525989e64c818494305 bc4b5798bdf4ea30813f681d2af50b022d03e347 e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e ed118e9d957411af2976259e5705576653febef2 f396d09fe17cc04998f89362bd7930d76b4f1534b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 ) Pop_Refinement