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 O' td / GPU_Kernel_PL:threads=2elapsed=7.506cpu=12.708gc=0.572factor=1.697zXZִF! 1]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\RͨMaێ찲ówqȵisaH M(($ϔIz E{‘(]_Wˮ#;&0ڿ| թڎhxOi.4fgd9N*g fF%V<8LCl $-r L;rD-y+Vu-Ѓ(CpLHeqlbK9}扏1j^,KMxM%H}f7?4aw-XA.|~oPKyfdEڳ)#s!gYZ7zXZִF! ,f)]ŗXi%rØuQ~biCvGb64󥊲 Z¨#W6x;`‹ALDZuubM5ɼf6yz0.v@,w4[Rr\B"TG EN1chkg6vcJx7DJ! jd]֮ o be_J-%h;؞lm5QǬ<8 H,Uan&m2K2Mv ۗP\ :xO-^(VZOSB3S/)#s|Ő( }Q̽]Z֑sDZcX+!sa\;K% Iy*p^FvpzAS'gjtϹùrW\Qfm$7DaULu8R¶ϐq9N>tpM4+SLIf.bpMw5yщ[/b3y0q-4,:f&,!;m'p.Y`8gTI9[3gUUl릎[ IOj[?1M""#z75R!c@ U .-?/KWf# d+v?;!OU@^?MpjNUDޭn5zA3)$s`Bk9?LV&9QgHxv2QN|t:PFpCX7$gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f75345c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb ' GPU_Kernel_PL