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  ,, ] Triangle:threads=2elapsed=3.790cpu=5.140gc=0.088factor=1.367zXZִF! ]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>s\R̟cCr7e]^}wAY/=i?ʏSR2///qp>@ui^oIw+):|GRol9 6w{A}9:cM6 4%Q@rh]82ߚ0%*U|:=Vy=,d>o9A*ğPWUg/Hɱ~#% /#䏵Zq?']vEzjOVogM;uSNoqO/!.M*ı'k8 zNm&2HmR邥kD02Q,d9iBI"|4Ũ93Ѓs:0z~QyYʤT*{?m}-m2]*w}&7 lV_g:1 Xcbd)Ic`c!+ċ?;&Wr~ʁL9:9aLDa[nb=DYtHbwAT[gYZ707f4853b332323905c35caf56d6fb50801a55b802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887   Triangle