SQLite format 3@ .0:  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 R' tL\ ]/ GPU_Kernel_PL:threads=4elapsed=6.919cpu=11.948gc=0.284factor=1.737zXZִF! 6t]ŗXf[&@K݄S)B\fF^|]z81K|@ͭomzSz5(6mRkǔ2zLg|(̀3p68:{)~ؚ`4ģ֝yevHS(.n~qur&x`aٯ` E^G;%x7lJ986*RcNq'P+4dŜ&2 @b2Ʈ_=.IZNqWw#vFT]*}NH׍!;Rx`Fl=1OPc8(LmU `,LqԚ&"'mZΖ^a× mgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},Iu]'R_Sw[BG,CݑF.1Ž|gy@tF[݇1{y*a2Ր5ᛊguB6&ސvj'YW*8?.c]b|Hm^ZPJVCG-rۀlCG9,JgYZ7zXZִF! 9g]ŗXi%B۾2)F;Twj醣6j=FAwL| 0 ) iMTW(ݓԩjބh|JF˦TeEBQ(H'J ]ߑ@~XQZlIp=;D cEp!X.Dz}uQaP D؉n[;Q0rb$$@ӕ?ت\ہAOC;\D)+)ӫ+ֺcW8̀?F9hC^jyܽ?o"gْe _h/?.ie P$ í#3Q.%K>f)?V7S͙2{ߓLAc#D7*@R%ʶ ibEtx6{2H͏&Ӽdr8dΩꅺU]yh{HobY\t_by`[F1lI4|(7h-6 *.f^Ju9'vFbݺ:0rZS5֑XӷEާ,M;S(r F8USCk0#MނgB}֊Hk}׫>*ߧkՎ&} J5>gid%\>La/]$3Iw0#8JF{G*X|94 Ƴw9{eGj6= ]>OuxܦnKϼH>?`wnCAaFPl#\1 !. p9k\_ s# gYZ95bfaf90f156e9d91786c539bb83ab0426fa5f3c76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f ' GPU_Kernel_PL