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 F' tDL ]/ GPU_Kernel_PL:threads=4elapsed=6.938cpu=12.108gc=0.236factor=1.757zXZִF! 6q]ŗXf[&@K݄S)B\fF^|]z81K|@ͭomzSz5(6mRk<( 싉?R̐V^W6|!gM_j԰ 2Fx(KaĿ=R@0c6U ]6Q^i}EwyKXEYՕq @_>ۿy>A/ nh8v ֠-Djf` Ŕ#Ws΢*]{rfY$yjꜷ_c9[NUk.&Z$4őQ? K̟͟IjH V^n? fAzf3 X|XgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},l>Ad?MN)>; fB$/Ёt >N ӽ֜nQYS{|Aa;_%abgO2$d,>A(b!av7Y}DDҲu?Ğ !]17nCn 2G}ba:7+hM`:бgYZ7zXZִF! 9_]ŗXi%Boc8RV2m&LԓǮOFc Ubc0` $1mǿPN?XQLT=Ǭ"o7VagBfij*&QZOehޮU:o"CCX:2: H<~'MZGϓХ0TL"[6v$Qa/wd7S9 |  -F]Ӂաy$uFMUYQX5|"4׌"Pm#Lޱ=Xew{鬋b5N~5gW`-!M"O0K4UR 5.27c{@C~?;\'ZR"%S1<%²j~abQAAMV+@GhȦܟ"=j Bh3jc5e\aڐb` Ih ꠍe[.e_}FAP~ƈhXM}=M.˖ #7[u2`6-6  ubh.ѝ2kKPG-hmM״\sb b@/<Bt2ez V$gT2ezװW3pZI<8.zT-lh q0 |un`5yUsoo[E_ xִݫ2X1љUNm@!=Ӳد$2 %5T䛵F+L@%Q3֚'n0 [%utz=[K pD[JE 'Z֏{YFXLTtQS)*}eU/~NyU(qNp!4` O+^VR8ߕfr퇳w7u=6D_zM_5ʮP߃t,j9؊Ix_H&^p>/)ӗnrɑR&a'_h]YG C7A[7ɦ3h˲DV xsʗ>?>[bN׏Y`嬥pCcdDX~a#usUs}qgYZ842956e047e2e8cbac6ab589d1937aeb15382016ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 ' GPU_Kernel_PL