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  + +R7D / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.483cpu=5.468gc=0.052factor=1.577zXZִF! ?]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B~Yg?rA_^>X$sT,@ƙpO)uM6$z_= ;1N-`C^|._;b 'kbR߷sgPu5d {qxgYZ7zXZִF! G]ŗXi%6y?[SӁZR]0mITՂ6G&[x7KfS+WqHg[w+*B͹E R|=/pfW%Eئx~dY#k0l ːmf(!kS&tEZ WHam _p/AsJ6>߈k)Ǟ ș`VpL^kbdOF,@&K_s"}j&vEe #(ȗ76nmBӒ,IH:k=!%S4U7[g˝<5zZgp'Gj[`dse5&O]-O83_8["F32 Im\52@PM8}M:/>j] qa>V CsZ_ R0ձ ׾*U]N[Br!*=3wKrX:;<)5prA<k%l`J˗uJBgN0V@8;Q:<4i?38ARgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189de4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 7 Gauss-Jordan-Elim-Fun