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 kk' 4L ]/ GPU_Kernel_PL:threads=2elapsed=7.705cpu=12.476gc=0.592factor=1.627zXZִF! n]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19CI%D+T:;?!`W0W!."M6 7]YN,-agot5NYZ 9j.8H"N8qU_xͩABQLHwђGښahh$ݼFcq8tPxƨs[^^b #l*I:w09d[U"wĈ=8J*KmpwNy](ӄ.rJU::TSjio^=@߈ t5+S[^WWgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},/Iu]-0Hmu5z0^nXJKlG8I q!$"販i+K :!ܹY/howT}LjjwUUvN#'<]IAg)FA31/CZvYUAgqsGU[h;8*#j|M& ykB5*8|PtHcO4;_hnFFh\CU#!p|[uLAωY{h Y4(q12ELlq(-v8A)m[ `o&8Xg}My*2q(&~v=}hBxkS$O]dsV\Z5DXn҆nUߚ[}Cʍْ:eOsHh\V0drbp"`M#LxCzbz6U:KdvKRCz,LD3N yZ Ih.>6qr*R ]o ϰ%/Q!t5k,קW|nܿX="΍,[Lam琎9y6PމVфYҷóTz`\GOm +y~g1 SLp]e@QJe^a@Z|g]GIZuo'r~e1(:q}QUs#!)HF9CH]4 õ?@&= TpmP;+Qy5&DWmi%}d_gYZb3f6c2d87ab11d49f4aa1ab7e18011b17ab2f081665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ' GPU_Kernel_PL