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 :' L ]/ GPU_Kernel_PL:threads=2elapsed=7.597cpu=13.204gc=0.628factor=1.747zXZִF! ]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19C`}(KmZl:Y1"\L QXr%37JF \KX9SAz\ņvpXzrOen LW5 j8LO$1#(^yI8v>@0hcPگo~m2LtE+.тW0/j_$2nO͖Kg{k sdVJqYP\+rΦB.`fx"0B7WRTM"kJ0'rx]A;޶l)GZb(:FgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},ѿ /@.O?xu (qϔ$~ 97S(ġ=ΫiOxe)>+N2HD2o *΀LzhO4[x~N >I3"5Ǚ+lu*Fތ kMo}x܈%DhM^ĝd^pU$~jJgYZ7zXZִF! ,m=]ŗXi%6SwLcKTJ x&'Kf ~Bx P `5lrfCe8)Nͮ'+0b=E 2Σ)[>ܑ άG@*̨ u ސbDZhSlwBX%+-gYZ92773736235df9a7d3994fb4bb056a2c4daab627e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ' GPU_Kernel_PL