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 Ll ]S Tycon:threads=2elapsed=10.326cpu=19.176gc=0.680factor=1.867zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`y뀸ۦ Y0,z-ʬd3ы-ut ;d}'nKŜLK?I e}n E W )s$;; Z0w?R#1ťjOb:91 /)x=wJ[عoAk_ :n%}ϡ:0Cs]8DE5JRS=`b" h[W'4,t晅.sge{1T=PK3`*eY便] jOK-J!JL:z講nP*(Kq(*ou:Y۔-&CIW ΨWش.k_NE9E.m~K,˔k7k18ȧ?6H_$զ-- +փC%2@FZL.` bt}NbHַA\inf|AV)Pr:Nv;m-P( 'z|I=dX8h4@1Vq`_('TF<IFf ]dΕ^˚%*ԝ3utҀgh)R;:2ۙԢxzW$}V6 _'Z|͜?-9!D}&a|,ȀG hls? LyhgYZdc4b96b7d109828e8c264fc63636ac1b2eed709272476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 2347b790b36c0821aec4468d962eaf674cbcbb9d  Tycon