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  3 3J7D / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.499cpu=5.456gc=0.072factor=1.567zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B};[$@6K#Vbu;s ')Ĵ`?&e:e(;zѦLǴSv /.>UžQO齼q؝'lt}Ͽ;U=.HW9{1Tf? ˤgYZ7zXZִF! @]ŗXi%6yN#V;8JP-OטhY&s#m6Kd-,CU]6uCr#Obf÷یdir.Jv( x!cLF\}[ d2M }e*V ZŅe%C8(?[@N h'cT?+8dvv-FX~*PdzSœ$A(1 1^~G[nǃ n(qNC`g~x9Mwc_D`s8Hʞ)dYΘg$ie8)Wda4򓽏{|Z9 SWA?{]ܑ@)dWٛ* 2^F}q ۜkS?66ʝ ߗ5OCKD/|hZA‹o5,xF62ø , Cet'64R\ig_f"۸hs>^o䎆WLAp;ixvg>ZZ%OLES$!3K/gYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189df0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 7 Gauss-Jordan-Elim-Fun