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 ^' t / GPU_Kernel_PL:threads=2elapsed=7.499cpu=12.696gc=0.644factor=1.697zXZִF ' GPU_Kernel_PL! 2]ŗXf1-/6vRZYevta}:{[P1/',>胪ZЕw'2$X\( hg8YutȈ1;iM.|<;`:R[LN5T 9l n5[9UU%!iC3Afk8R՞#| HQ>>{ݟc]!({թ*?2g$u돛ra=_9 >zfv]e8`,Ϋ}l%$=}( |)(?.S  Us:sFONS\rWslVs@3&nALA1:lIMR8~B"5H<™ʘ!H$ (O Oׯf@z5܄} kRl^{yQ )G*fRv}w Pwe|fSy,C3׹nˆZwĐ%NWY5cε|E KN侂5pt"Z}4:r3]섫eBŕ䧥OSI' :•AGEjAe$LQ@~, [6-rNJվ )7(QЫweKerQ%\hAA{.WN#r0"eIX I9!} !w<~l-WL{ᩢSUdoÇ.\W}k%ڎx) مƾk+Zء+VIK,aݏ3v"k)U>ݎX?]ۥz;b*4% ?#g)Y [X~5̐Nϑ(,./X0<ޱgYZ1fbf1493ffeb658a28b0f43552899c32613f9159 238eda9ed75994d968e2402c252b82de8837ccc2 366e9dd029eea5eecb51d91c98c40a4489685c40 6585ded636f354c2755e294270579691e5ea4c5d 744ac5e341b3dc1a4bae47683b66cd3a139930c1 762f950c57d35a314ce1797cece4dff739cbbcce 8655fd42ba7f63ab7a1f184f74d9298cc5af741e a9167a0b8612ad1e809fc121287577400b3b9ada c8fdde6d91b49c6b9357d2adff47e62f96618ed8 cd8bb6ebd55de2a4193a91b9783bf6c462286531 fbca982a7b17a138c3924c8dd89c9bc240f75345d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295