SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 v' ,Td ]/ GPU_Kernel_PL:threads=2elapsed=7.430cpu=12.064gc=0.540factor=1.627zXZִF! ]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19Yzx)W_Nԁ~!C3T~[+2n{xo9.ܪ텍E itp ϦE Sg (݈vˆWgs~?HlKs4$rؒhxacAI*N/[mk@I )u䆪&X^Ìf5fpȞX,F~D:g&;-.BOcR(2{v {OB03q,ރ8űt8=znR4z\" D)P|Jkah˴NaZS2OA` igYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},AdOeH`+m"鄝tπBys|D1VEcT!k>D E.GiYHah27U3A_D3~i xE"EPdk3NВe@vm&рD\k+b6 `o(;.{*H0gYZ7zXZִF! 4k]ŗXi%>glQZO#Xy Y'w\ߊI0IZ _hQ"C e#YȊgh"4b۰ 0(9`ku6AbxQC<1$yI,Y^HNXϓ=ypy N.}!^Q B.L2:qbR4TTRh{?.e88l}"]:ҭ-ͥjwXsО\Wi0dF-[z8i9es1q9!?~@cjN[ݝ{z"(xUs.۾KNlhu I:1fg;[!zY'{i)ƙqjaÅ]5z_R#ԑr3a Ǻ'-|gHz(豫Ѩ˻S PYn}b,\芚 SFF6nsVJ7b0^|xw.g3»}z$K}T8qb6Naef ІyHhJYS):=BKw8Cf7BrxfG,sGj2.+jP-ܯ`cF ~̯;R- *驡lD"8h":6ب("^J<@urWPr6B4G DLik}ӨcF}ʢ^FǍh^!XU[>I( m 9RS|<#DZS^0i4rgYZ03372d65c781ca9a080f87f543ac7144174ea6c5767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 ' GPU_Kernel_PL