SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,,I74 / Gauss-Jordan-Elim-Fun:threads=2elapsed=4.214cpu=6.064gc=0.056factor=1.447zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc"a1I+@G_Xh; opNĞ6`_-n}܁ WGxNTtV:o0ymm~6bkvG vЊ;t6\C *Jq:ͪ\!ZڑXm4VI-^$\B{}jc+ᨷ]EP| H`GpTk} ^ 7 Gauss-Jordan-Elim-Fund;Q6JdPaY&hw\KfO NP qq TƎ^'|J. .=LhæzKwA苅֐1 acr2$ *9lTp; 0'-,\}gYZ7zXZִF! KH]ŗXi%H6fT>kԆmxMTi>aۏtdl"5.2חk n||oMgs;KP~ᨢї*juhCb'HߑGfm+ף8kPv<v`KQ' \3"de8ƅ0f en |BKu̾jpho\c7mPEdS݅/;:xirG{!JC }1^Jܸ~:-+'s4%xSͅ0r'ȭ",ϗ炙d#^BNJVnīHSN<$iB !DlKt V4^v%Q^=t*?G3 QHcT&pUу