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 {{' 4Tt ]/ GPU_Kernel_PL:threads=2elapsed=7.336cpu=12.348gc=0.600factor=1.687zXZִF! l]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ1996 ap?́5yI%H8I2/[f#Q  r+TZCY$l{4I4 /gX7GUƶOFj<J.*8߆y8>pC[_C0#4ӽ)DԠ/E5MrO?IΐAuE LBOQܧ_[l7BD³6x- N0[77'tCBzMP!|"hCǡ$3%Ni F>ZAIT岥8l]ig|Ї66zbmO1/gYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},˸#I4vDg pv;d!5|Í6 1=ƞo/PN(UF &<RMulݨ.2tD3Ĺu@g&]XR{dеnx؆rAmT-9{l.IJl'S1~q R\eqgYZ7zXZִF! 4s]ŗXi%;3 A읲]HXWFQ>exTȕ bJ:4Sx >ACȋn:r/F`H4Pqs-6 Me#w5C~*50Q:Z4@R{*x?EY|#9cy+X"{XCzy׫UX .Q.=b.w  f@Cn883h64>ڶ%3v}~NJKOzq7DWk@s"9֦~u~b91hw#6{7_tN|BhX$0вp:Dk&rpݖ127ӯ%48 qUKχwSG2Q+߉ 1h 0}YdX: 1,/,Z-hl]6Xk7 @*|w] MUu&ʚglXn KD-X",.oVzadCEN95줚G652ߴyq'`"i gYZb3f6c2d87ab11d49f4aa1ab7e18011b17ab2f081665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ' GPU_Kernel_PL