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 K%  %S Posix-Lexing:threads=2elapsed=15.382cpu=28.336gc=1.596factor=1.847zXZִF! /9]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼYݮY5 !Çsat2Oj Kz\yl ˾$7we̠W]GuC)1 Lh%:`"pLYI;ٝD'8ɸ Ga!.u"OUi:jܣٺDxI;xk&4 dBׄeHHg:tSTtfgNI9Bh 7>Oqߊ@WuigYZ7zXZִF! O]ŗXi%6kږžYSGz=6٧< F 8b9V8Cd!=w ފJ\c3`ڤa~Vgv;'?N EAtit@/aP?P eޖ*Q=4[CX?8BúȞbsGDty)iY۸]Wi&"wNa I5 O3 UJVCġscC$1ѶXq|l3h=`]cu8UEL/2 Y ܖ"vJ=~|“&88$\Έˁ}>hh5x~Gs1m`rJ:~ʩs~:F8͝gnf9i'-HY:[-3f9j@؃zjj!wςUM>>Ye\$B?>'CdӐ^7~'!~lG{y o%x~*6r] -^E݂G)_yU9$y"5NuY1DrRS rfeC=Y)P^?8 yP RQJ|/[J,~ˇx|q@QV밉k& GDpdZbi%eqĥ,O^*[]yh .cB@gH_$D coXWNU@=Ft);@FUU<Α WNE2x3]ӰeqXʧ9UX+lB:^v(O# ͼ栅uOIx4,7_ џ-YgYZ08ac7e261d343e5dc1c9683573ff9f206914a573 155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 623c7152078ab8668a85ebcddbf3ff7a84fbc27e 70b6156516dedf8c4b101f9047d7e1717eb03406238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef aa9820bce087f3002dd8a9aba660f4b5706348c8 % Posix-Lexing