SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info "' d / GPU_Kernel_PL:threads=2elapsed=7.223cpu=12.416gc=0.556factor=1.727zXZִF ' GPU_Kernel_PL! ,]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\xKsd?'LYFY5Z/hs5KwCPFGvm;ĉJsD`$hc3:ʂf}01o-USabt7zy l Әg. `.޹n7~ 5X=sFTbh j& uZ`u 4T9HXx~#$8&gYZ7zXZִF! *]ŗXi%>Ws aq[4gγ]b-.J9殃WRޚb9ϫv!.k2|adxo DV'c x/2 x\?ɵtN $G$2Z)%v.`@~<՗1lZtb=DKÌ=8FC&~̪b~/@ 2n3'uw`(ד4kmK]JAȺGI*6'yFOM2|wEz/Շ!sFXŋĶX&XN5bf,y%bΉΉ(*)GR+R2?׃Q'2~Ζϒ4ܣN1 9"q:DТ Y /cg8L9-g!L˅]-~Y Og_ω$>:[_= \]!7碑+9GMvwQ=sF:, I}$ ŬJ9 Az#c.ӪO\;Pc ݷqψ-NVy)sK7ECw-7Q6T:u:vU =1x7b >`Wω)Dy 71SX UP.nХ vZوފۅxi)o.Pq^>",X1k_sĶ\6We8\1*H?8ᵠ6w=@l@r6TWgYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 d1ea15ecb192165a6cee62da5a2813f0832905ba fbca982a7b17a138c3924c8dd89c9bc240f75345878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457