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 aa% DL| ]S Posix-Lexing:threads=2elapsed=15.513cpu=27.660gc=1.416factor=1.787zXZִF! []ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1Ƽ__8 $hGqt8q`xX\F쉹ь@z?HS(GM5WO\UZ;Z{, oHݜ硇ip.XA.{ JDgYZ7zXZִF! V]ŗXi%;Ÿrڔ d9aOs`Ox-*S[A_gM\Jdm~-%uw|!3bFvorq,mq/78X`%i؟T Pl[I@dn vڡY`T#{`dNY+R5#ăy!-QdUJf;m#BDʈʴsQdZGq7{@+9dv2v2S z` ;ma8'0|>tm:WJ!zNXDw1)9^A?M`5 c!z)0^C'!4a_5Gzg<RzONts8yoGm|gp@3=-7T~/s)KP殏ݓ̥ZjL1y+S_9pdTnVlܗ5/4,H%gR|_XC $߼Xg?\Y~G*P$1RJw9nS 5ogm ҂dtٓГ,/^PC|c[`X\ˌ ιgYZ74e44a75657daf14b127cac3b307e8f8bfa5465579d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 1c71ff6482081c7b39d13732daf47f75cff0d6c6 % Posix-Lexing