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  c74t ]/ Gauss-Jordan-Elim-Fun:threads=2elapsed=3.490cpu=5.424gc=0.072factor=1.557zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=Bo1?{ƇLQ$M#&%R4zqىrd`$6g#O@:n)!\`6BS|*W!,G-av/U6,U20av8 $R e)gYZ7zXZִF! 4]ŗXi%60nQAl- ![(x<5'&zr[2DU~`qwJ/f Hiwh5yt.jD:cr>m7 M(v;{G)!F7e%l]^lW6=(@ۘ[ٷAǞXajE:nwەNCe/ ?[!t׸T;?BK9Z@]Z s7X SCI2c?(@J)an/ߎ,% r!/{ʞ>bq #i8qbJuc2@0KF[&ɢ_RYN {rU, rG<_ͳ]mP~Hi]`O־  @21;!3#h \BϭrM  3sxgYZb24f7d383d7e4c736d454cbc0b2f2367f737cf39e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 7 Gauss-Jordan-Elim-Fun