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 ??2'  / GPU_Kernel_PL:threads=2elapsed=9.049cpu=15.084gc=0.776factor=1.677zXZִF! ;]ŗXf1-/6vRZYevta}:{[P1/',> ' GPU_Kernel_PL胪ZЕw'2$X\iS6RcD^{-&w[QQ@Wn";ߋt;IS D+669hmѝp ODt8Ĭ!ԝ,Hßi@D0') ׵YBm2N,5arRcvxhR,k:JmN#KkMF)(Y6l0>-KCw2Z oeR"-?bҗ?6CE)|__x(tϟGD>:QS 8pf $Z)>}}>+Ԭ*T =Oa̓ufۻ6L AӢ(_se6a%գI}e υo#0sJoа#0  O0W)hn~h=!ݯcd)H{Y!2MrLPb\lg}If_CBjZHX4jX%K0LZ>7s Gc_("/p^lєeHTAxʔ6*/6+ DeB'.bue.ZnƦ_=vajЄk;gYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada b34f35f0d9f7fb69cf0fdddc71539285fccbf542 c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f753458c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07