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  M, ] Triangle:threads=2elapsed=4.509cpu=6.080gc=0.124factor=1.357zXZִF!  ]ŗXf1-/6vR[ltb7o- 5vOYe1tf) h)5rvSn,54o70*w@^%S=c4ʾO/H*rJD۲gYZ7zXZִF! M]ŗXiɟlٞYZ?@Lx!ڿ|gA 4@.rZloL;C/^U^:.iEDgYZ7zXZִF! %`]ŗXi%ήuQ$DD1(F^B(ut}ۂܥC4PuLi'}s v'CWo7%|?/Cu~ 3C?ƲN }CetǸoΘxl!/fz"+,E;LP;8?O/=Vg%7mqOz5͘K=Ik˵;U6ֹ}C C/)-4դUF{e(GB=7Z7Jt|sASA |x,k|UӖYdf|LĜZq+M|1Y=زI[9lgm𢃷EAC+x38JqY@gYZf199362180a2b51526d411d1cdd9f97ef42febf000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6   Triangle