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 bb' T / GPU_Kernel_PL:threads=2elapsed=7.509cpu=12.816gc=0.584factor=1.717zXZִF! ]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\y s?5EQq GE/ai3-k.Ĕ3 ~G\HwgsGP:qSlEB_YkBw1oQ^zN/Ч|1yK *k6sV+Ȭ}orq z~ pI>;10p:uw@F#jI mHJ-*Wt3 lp۬H";%DR֧[!|Sz>(:1V uElH0'd`pi+,'v/c<\ShM88D4=LEBՔK^UResgYZ7zXZִF! ,z!]ŗXi%}Ɏ$v0T $GHGkfY3eg&{ ŢY:lh䕳fVXF3V7b vl.0 Pr:ᦖO-@ >'l*RK&߱^σ7;8 aTyme(곿< 3P}62Ç}|wjbHEڊ,hǠ @b/iVQ$Ag>U_إ@<c^?08,S%~@JvDPu=0Ju_a9DG[ﻞ0ul*PLA_p\J &mm[;6k!Q$W:5⃦ <|SO~=Wڵ,{KZoHԯ<}bl+?[f}⯣'>_(^;Utݪ0=F$ZI~E+gO9#ek Y) 9MA߿]!]`3h cJDKu Fh$eZkޔU6R[8_!͠84cV)QPXxωٱgYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f753450ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f ' GPU_Kernel_PL