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 ZZ#' d / GPU_Kernel_PL:threads=2elapsed=7.851cpu=13.252gc=0.596factor=1.697zXZִF! ]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\y s?5EQq GE/aL 'In 鉼㐅@/Ґn!b 2&wD*>N_&vdz(;"-nQP Գ_\m9Bn۸uhuZC '\]KuQvM4j<v<S"iԫڿQ1#<~t8S|O:ҳ;TiK џ"aәu38))%c<hSPu farmmmYU>)r`(( 1]gYZ7zXZִF! ,{)]ŗXi%6xs#lnN-2n$)|J/[ƴSc{\hd~N'ߞ"%̡ζQ<33Ěb̌"ґunCzڦJʖ k_kv}giA h_7I8nuLqa.{Ng9QD%|u},u H:x;G 44jIOtŅֳa~ǸAk߿n%܍c /l@\-9e2C\uj2?u3>~JLz1U٘$Z*ڗ}z T5XM `O"ĊǨܖf{Md{. Թ}XBbG㻘.$"55r$Ҹ@D^K"o ݛ{)!] &/P5bw?& ..Xߍ hDqY5G98Lv`.M])0+GW=ц%O7:w[w'FsI(% װM VX)t<>!@\opiȚ8n{UX[K*7pU Xk{A(o4Oھ.]yRI-VѦ.03g^o nz8I-˅EY 8uMZTTjXmx/gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f75345554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ' GPU_Kernel_PL