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 >>?' 4 / GPU_Kernel_PL:threads=2elapsed=7.800cpu=13.040gc=0.576factor=1.677zXZִF! ]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\њqb&T\L1JnsUG&:@d^3ّ& a͢ o$,^`[zdyA $ L[U7 ND|zv܇JAbbK1`4?#>3@˫d >F2D)9o-hjL/!9yıgYZ7zXZִF! .<]ŗXi%v#⺤2s>?> =(fk_sդ1 3[Xn΂,K&اVȍ&E_Ώkῤ*]ݚeVC)CMVn.?Bek(O kcKPKO_ ЯRZڻmYbg TI#А+K9^8 p8v AUb"eG'GySqT<.(44ɝ$ngR0P|ҏϴ!-$ޏ>ͼV2 FVyQ>91t ,7RMϪBb\ #)zώU璉~ѳ-JrH9/s u?4+P|H 3u`7CGsz_R"qrpWZȠyD)#MUgZK8s/*jWHdUM]8=2آ:e %B{yQq`*fJ/ i"jdeaY>ՁFB#@Goے3ffR'L8z$5Xs;q5 /p ?v </g \Qc)#!Drv9!֧%QlDY>vI_˱8CFK{ 7e\ Wq>Ex8BөXdd+7G;>+RlHj Ќ!.%:Hvy6]󸁱gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f75345735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ' GPU_Kernel_PL