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 n' tD ]/ GPU_Kernel_PL:threads=4elapsed=7.568cpu=12.948gc=0.336factor=1.717zXZִF! 6s]ŗXf[&@K݄S)B\fF^|]z81K|@ͭomzSz5(6mRllEJ}L:-_QuyŗQ'dr؀SR"Eٴ+et6okU<%{x}3H{2.ocR^h5c}Өwȹ5 nm,~OSK߈%:O3L(sT r GCz+ (k( W-$j6\7BL->w굮 oƲ= 10optjHN-SݐgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},dR86$ pDA!EOx™mώKU%#O/,:QD o-0䲬.fS~wgHxZ+HP]|"q/9'}wh^خHK]ɸZj?{>hQby>LqД;L@CVT4kgYZ7zXZִF! <]ŗXi%Gg,4u8Ho)77믊{x`tԿ}? K|˯ \6# )d㴙_28fx?~v'yklި1hsxZ%_(a½s/m"#$B@51bg, V d#Kf(M]r{t "ACN[,ÔSU­`z-Wƴtzcc8 3 !m0)@w^#<]^b6VDž=A㹶޿]糜JqcYV2UJf6E_f@&A骜KZSܪqFD2iJ]\bnUqU&O gZ_.]pr\x/@âa+SN3׀zO XdsDKY~!s61j[7GhHᓬ4?/a*4R޿/PfT f['L}.{%єź$b9v>l{i9#N|=.jK"Z֎ǽ_zwW6'D\s-Ȅ]qM@57Rhy,4JgxZƕ;}-EFZ.jh]!yk rǮJAHp%%{HDRQ?7+@MEUx4_*9xp6zE2A V/"K-qيDv@]ܮU`Q?I ֱ2ҝ|5J}_#.bYʠ }߰'`c'?8kVC &Á` kHSӠ yo+ vaw&c`&j.!@ii2m3wbgZj*NvaCߘX#6o x7=y5<՗F0$G>l )q M5^5d֕kWWvt#$k(sKI4=фs~$cV c"25 y@gYZe148c018bc2e00f8bd7d4ea104c9908190a7d4271795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b ' GPU_Kernel_PL