SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ?' dT / GPU_Kernel_PL:threads=2elapsed=7.460cpu=12.836gc=0.668factor=1.727zXZִF! *]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\`D=?BEq6\ ),,yUoMY,7t-3i*[tV/8P6`<\c}-wfN#it-N$\4Ockgv) 4nߛXҜ32]yd!qbtn3E\H8;n?E-Q߷h*/|".1+vM})(4[#P _Sm3{BRK)×(2de[SqoK`7Wjsj9nY0v.Vb)OL>7t:ieVufH>=kd&d^u1k#̱gYZ7zXZִF! ,g$]ŗXi%q A-Zir$Np9YT@( Í k1'HP/p A<䌈NgIךC,yC[,~ Y_&Gbi_7ɌN`^+cC)N^舝a9AK=D4Dϯ +WI6&b&FUu6ށ hH*/fTH1ⶸ,tQN~S$`Z0oҙK$B !EW5/;Ωj˰BFaVIxZx ze6f_8]*p.TDžr~p|a3u5\PԹ̧gjlB4_W6 r~ I0")q-63F#a#R~h$C3X?vKLs4n"CpgY"Q}_$aRuNgd:\izu1X),gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f75345c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 ' GPU_Kernel_PL