SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info uu,L m]]FOLP:threads=2elapsed=0.993cpu=1.000gc=0.000factor=1.017zXZִF! "]ŗXf1-  FOLP):49zleRna^bYB= RPK}-51l*j X־c\,ؗ.0 .L{юd>ySiV iM|gYZ7zXZִF! `]ŗXi%Bun4^s(~˙룳(Wt#8 <=L2w4eRlMQHYKp0gTw!MMV ^Qhn]T9UcĆI!G lwcA*ƀZ_)%}!6^Yc<ZgX%CVd i0җz9}0QM}S3w=[&7L񼖿x#jWLRc3"X<8u*m#o>BB>Z׊v .Iyhb gg^#s06ҕݱ'*&Yyj`iҶ H"gYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 ea1f88875ff378a6b7c631694dd658a1b4dd761f ed2722b7a288eae7bca6151bd94645009ec5467a014fdf73a0b928fde39c061b3b448884e65fa152e5a8b2878a48dda4c1a365fab63b216366bd1110