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 b' t / GPU_Kernel_PL:threads=2elapsed=7.618cpu=12.860gc=0.636factor=1.697zXZִF! ' GPU_Kernel_PL 4]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\5c#/䎷a2&hSz$f^=t,mۍ`kN}fOېZhEx}E*6E @m[7.1D_p`Br0 wJph"ѝ1"XɪG:_JٮqFx4=Iqűx(rπs|? h*JUP*q!ոm< ,=WcR'=LBT{*&mB絫ݫÒs/3ԪYD&0߅a)87{hONg1dpF5+Q]YLN1g7bK$L"klֶcMip,.l t.}6/x $feѽXR=yYۢ& 1$/9HobX7r$Y8;gYZ7zXZִF! ,a?]ŗXi%DQ]b3FxMKv3[I3e2 |:mMQ6҇@5y47Є;(5;ϞmGp?$Ԙ! ѝ'e kq%w !n .e&3Jom*hBt]D#p:G567r#8RНZ9F/1f|1&|Y=sUJ;T-:1QRO wu>?dkl) sKD4='1`LmW9&с|D*M\E3>esƝ6 z|#XZ0#av78y,cwΗ8[l,xĐhQBE͈0C?nINbbӅ4kF ځK-+ dϦ ywS&fr\bFe*'Zw*,-DĬSOfe^> 85L @XVRҬb Wj ?Б*l(Ӽ-'+5t,72!6.;a5N rhs1ij &P*e0|Ma"7)$mdX--$*VFlp-ӧJ^Ʒ9ī8BRW9:0Jy>`X*;5*gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f753457df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56