SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info >|d uS]Slicing:threads=2elapsed=565.625cpu=985.812gc=16.028factor=1.747zXZ ִF ! u] ŗXf1-/6vR[]\|⾑Th_&SXuAKDŽJd7<ӝ/.r:rӠ6d|yEֲLE\DP Ђ.ׂG|Е@5zxyX#Dn =;EB. Cz~s5Iչ giudP 릪IlU~8 XBrGp/kfPz#_6zjJ;`Qa!i27k1qr5 N*nPY7 4 , F [ (T!ˏi1VL
=7'0#m_6vҞFj'mQP Slicing _kbcR$7mqyDaT`-V[,hjd1V02)/4'eϦR;F(N.$8Hp,ތ(Z:L]b擲?#k.M@=_C$%ǫzicD vM!dx^BC岹Quz!)7叁0z-VZGX*ny\VlYj^bY3`,3gc[4yĮ:#}%d<=ƃLLqY\FLaЃ