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   y7, ]/ Gauss-Jordan-Elim-Fun:threads=2elapsed=3.404cpu=5.232gc=0.068factor=1.547zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B}NX ܊ؿ1-E{k"xƅPN9k[UHk[ڟ0A/vm̸̱u7>>'!.l ugYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(89=%+s:'-+z$m`g}YZ7zXZִF! B]ŗXi%9#qz9)6,f>L>1ueܷ Va Q&j/sE1aqE|\Q?V̓VGg*DL j+_qihX2 ^L@ҙ "{`,|UL=7q9+gwrѡCHWDߕ4sܮ,;&*$5Ɔ%LmQ ]G[4Vx W!yb*'Xn3eeRy_03mky/FP4B qr}0+㿲r L_qAmEݜ[v-CfxaZ RYaugR͠S~8nz&h6Y ͋ Eз5|S?927ăX9md`tU/}#$@rˀg]*X'E۵uN[۳^ΛA<'h ˣQ/E2pU%zoWl6+yG vV/QhÐӑ$8ɩEo %RR+qv{(A3gYZ3c42533d65d0b143317208681b2a1b6dd33cf62a8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 7 Gauss-Jordan-Elim-Fun