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  b4\ ]] Sequents:threads=2elapsed=3.665cpu=7.084gc=0.152factor=1.937zXZִF! g]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\KȮ?A:Icڙ|޳-c?RW<*P4#% mb*$2:<e>waV<F{ Bd;V(@R6Q9Х4DMϛ?G5^}} +rN3l)!qA@AYpq4f+ iҊ  0Jjv; >SKnq!x;a$^iGQֱgYZ7zXZִF! ?]ŗXi%9(PπTIDI>d9I\U>!],kS_[sl'eŰO?\{eΥKˢ"@ýWTbQ&i#6&1F$Z>ƠϣyvxaF0)P &k9 &dG" Ț% (PF>d«Mk7pG(5YI[$o.Mr& =sۊ4sv%0y&ZnXQ=6It=TIfKt9 <2M($Ɲ*+c ӯX) wO*mŽO-xBXE ?n6Ż$v:13~3@˝ Q/a_&%@4v+QЊ