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  Rd| ]] Sequents:threads=2elapsed=3.523cpu=6.788gc=0.128factor=1.937zXZִF! ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\[Ɩ)Y>G"r& r YH7e.u%Rc x4w̗o1y)3;70˝nZSN] FݘIA]'#0hGR 䋝f[i!j}# T>f&MEsy :NgYZ7zXZִF! ]ŗXiɟBv l82XuBI)s:TmH˲:r񭹱oiVhVa'<<1s5k]`Y)ooT3V q]GS ƙƪDign}j>O$ lu7S/R=&ԕ}[%3(ʠf=0^ƹ83uo4@Cʱ9,ʑ!gYZ7zXZִF! 6]ŗXi%;ź>\HJCq.7c~ zܭAEPS͉ō:CSq\vP 7{OM "{ ѣӌ+?f3ꋳFb]}PT*b$Qޤbry"xp+@BR5=` h!ͅ˴'dY849ۤ%^^_2G.Qn ,4^,~/ߟ'7Yo\QK=ُd+ř3MLcq5~6$ anҲ8.}!W<HBbb= )1 IrD' Lr yc`P"HĽ悑+Wïy좙ۋU'Jvz"lԻU#̏|Iݫ'T'_gˆڼy[VT&&UU71H ,TςhwJx.ُ ̑#x)qEvH*Zs`5<" =%ǰgYZa0607827e2d2c19a47c41b0e46a74bc1a42b8fa0047361513188e7c72a6ffd9fc0d5d82009c64e0e   Sequents