SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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' <\ ]/ GPU_Kernel_PL:threads=4elapsed=7.142cpu=12.400gc=0.356factor=1.747zXZִF! {]ŗXf[&@K݄S)B\fF^|]z81K|@ͭomzSz5(6mRllr6 2̹:S\l3OkvsōvP~W+5MQ8M\Ias#*›s&NxufĢ&fV'kX%7l[hu8>Wqw G?|}9m̭[M~y;U v*gFy{6d;,^џ5#(,jj>rp%}qE~i9%2U՛HG( ZtC؀KR &ıgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},>Ad&-{e d[hrkTg&4b(8͗dZ($Sr`K$-QywZ{y>3y[Z3'tJd=5yWTą{,Gh莕K]̡wiU"ʥ.*3ks#i>xCǻJe^3gYZ7zXZִF! <]ŗXi%L Sdϱ`C#~x]87136Hz=K6tvb:ExP/ȣCeXKuM!-wi:΍mƶs]3xS[B%ɫs[ ,u)sJ[V<{ !;|HW7SKV1h٠N}7WZFiSYqxBtPkR6R/&pnPv^Eb+GQ>qf=n=fK@JS3Ύ!rLYUL猃F`a$G⍳b>k=(mXg TF?2شtT{H(aF8V~Stu7X Kv"E|#Sk`^qߜ<=.P!,C^eaC%qr WpO؅CR(]/,+EB\ke:tQs\H@N$,7_ldw Y}DRpE[CmF.숝vJ(gjAliI1qE_O!U9>v%>6Qs\W Dklg yឱgYZdaa72aaf8243f22d3ca45e4e127130c77d903e77d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ' GPU_Kernel_PL