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  F\t ]] Sequents:threads=2elapsed=3.576cpu=6.888gc=0.148factor=1.937zXZִF! `]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\KȮ?A:Icژ;ɨq0ǤS^# E\j?uwxr,#мSJCkk}\:x"MSo7ܧ2P؁NC_y09 X s:gYZ7zXZִF! ]ŗXiɟBv l82XI~JO#!ر(ly7Gz_t~B0p(ٝb!nB7~#u.D0x0ŏT@ V9nMഁNU\U`=]IeĀL|t˦GAv1<R71"hK_ fx!Dt)`8 ַQֱgYZ7zXZִF! 2]ŗXi%;a'M ~ f u#l":!M!tRԄuiaI᱓ 7ޤYAR <J*JEXv7PǚY} u OB֐5:1|m Jɉuq% ?@ƚVj4%jְ|j 7L-G"CQL^9wuCgЯAp'(,3TR |Lk HP'0f@R)K_ [MٿW7}-P>|pU6y]/몹re6r8ރN&W>~mz|2u/^x+#C(62S Y a0anR 8 CSARq5i,كI02 X#&,n ΛZ~@,q|b|UpUNA9` +, jc?GyPءόbJN;{p(6e'f-m= y PhbNhq.ayKh"tw˭$1R:Nqފ1% ϱKgYZ8b6720729c56e3ef3e53ce13993d119f8da819d6634a34b0a78430c8365c904b4a02a2bae50a7baa   Sequents