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  z7\T / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.977cpu=5.604gc=0.072factor=1.887zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc !SJ!"kڌL Knipޢ-)v=Sf$cȢT ęZ܌5&GS7* /M =[YGՕpRfL ,Nl>}EqhVϞT8BƷޖ1]{n.[W NѻMW.N,qGؔQr -xO:R ۼu/jq\_U 7 v2/l& ) KriV=)M?S>T@X؉&lL9~һQ_;U\Hs3(x55XdoKsb.W_)VgYZ7zXZִF! P!]ŗXi%s;3YcQbKS}3!ɷ!˚λRۄ U|\4! ];"d' 'mzegηSsȭ#Vۚ  pPkEx p1.fJ3#UBSXT4=@#8z"Äa~zk5mFgd>w۶;:̀G,˝-ǰFcenXu}ZO 95a@V4azH]$_D)GuAe.*,1an I)4zl|4@[LgΨkۓuơ{`^Ji!?:,U1%[& óJ5焰o|OlzC{!os8$*$hzҚa.ዴ֓InM{ua12: Ikb0Z.Ǻ