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 [' t| / GPU_Kernel_PL:threads=2elapsed=7.547cpu=12.652gc=0.556factor=1.687zXZִF! 4]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\<ҊlpаP6$88L}n\dr=`pjJ]Uu4]Ho,LD(cdpCǧ\|m2+1dFz!an/;U;o8ݧD_m;򍺮DmVv8"/3KuT=vƙdE"W4ӒTDvQHTƯi{,|HͅK'yio|AAc&Փd%,IGTsGm+@ޠna:@.bLQq9zh=ډ\-2IP|䰨ؿ:(ҭ̙ 4-MSnHwϻiH /:ز}'rjD(袉:{hFQv9˴vYK'_N8G0h3o_縙o΅6 l|a\_1P`%)T/1_.놨;leϙ<F"|3l)}_Cp>DqRhs;y* 1|Zj}vN>p)92FkS_ s+Oۼ_"+#yV5_WUYm A1 qbMP0< |gDD?o@UI^ BEWuojz>@V5%<qg`!%{rb+@a5ܖd6~E)5y{&J B-N/u5?|eVֹh* ;#,o7/<+<=id;Kf_2>=JXma0quuT2(yPW0|)?F#XFFgYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f753459711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 ' GPU_Kernel_PL