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 RR+# 4T Sw Minimal_SSA:threads=2elapsed=10.670cpu=17.980gc=0.384factor=1.697zXZִF! Q]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@"C4*2w_U%0Xbӄѥ9 ىsT{Y"lmC/8g -T'M2 :[7xBund(@|fFOw9;[pŴn4bj7firx̗@_:Ab0QCu֙kq]ADfKA5) B P730UFCr{dVx;Psi< E`J :9*ӱgYZ7zXZִF! =]ŗXi%6ב 3UʮK-rfkxʺE<64>h|_z6ށBI?@co9:1`lqHtT?-vbY j3Fibi O/݀G)ajԮ]Y"% b"7RqoY<ω>3d7gV'spr|!@Q+Nu=([Z{gږ 1?|[=z:D gj4ka1c,w: *2 z.Il Fa $zaI-2)kP2AK F/_XB?$ \/M!g2BijO#>rIlюdrjz݃(QX(cCiRVTd~4{fU o$Cg߳w .U|Qjݩ=#Z*s4X߰`ǖ,ԯL|=v5(!r.ϔCW>햋obXZ2bpM>k.fw\b8 c*hi8dDE1g q!s5ݔ[aFb9yͦw$,a+ʅ^bsstxy["IKEYM$z%dyC~& wP;^?"YZ%Dr0ע6/^,R<2Q7뀹Vǒ,Jc|Qm XF(Ri 0a/QC$xgƔ=~#)2!xdB(> UEg B^HKDn34MVJ~anQH}d)E+\lZ`{wf̼uޠ\^Z"vb[*4_2Of\Wh?7<?MIw,d r/q>51!i *ZI" zCTIl+ZKRz(_