SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ==@= l%]躴}o(AyqŢ-m!ԁ!}1g%z/2\y+ S"& : ݃Oǖ$ae JQcR!b-066B;1j֬jfJf:q8|4x2О۸Ɲ,(I₄^: ׊(_UU|^/\Kb&7cB,8E:\> :)r:OH,1,/+&ap7tV/Тl82bb2jݶONY@I +s>e|ԨY6ijKt+ -F?eBu}1L6`G2 @_l-׺oj 4J =ma1?"Dc?o6W[Nƒ25 "Q6hgpXV}٤xq~k{yjK|D*BEfiuT7?Ey_qzH" oKgYZ7zXZִF! p]ŗXi%92/ }׀dKM8}ߋUN<టp%Ԅ4b\0eg`[hC}/fl}"|~bcfCrRɌALfaDq26t\O5;b:L岆E.W7: *˛8uy>J̉fֱnini>_I- :ưAeND&j BK^ |}9נs{E*x0b|#aDE8"_5'&.w_-W7<'dg'Zk`ЉMؒ'n[6$54}my5^cc !cRp}jZE^x shŶ~: a'Z3ufFQbӫ| Yp,=pq\z_>y)Crk"81A0T&6fyŸkӏ [;M)\?#Y 5%i>7T ݔqpZҎ",A?p/=ddXdEDn0 <aez/<̫h͚s(3<)Q'up('oPG80V5Z![ϵА^{A]S0C Q0 +JO)+ETvQ:/Y.]e'!J}5EjOZD98!#abV`;"mD_53}TMm!Pbs  _9lig/I?ΜX?r{p[-H|?XmA\c73Zw q+CĿn34lKIc'&:-uߏQ|0vrUJ3w:$V W^ 0طVAzD8fⱍE.Gb&'?YEh?j #T<8'3' 3*n'_ɒ V'qb--CBYN>k r? #щu' G"(IE4mJ>glV <<4Mo}=cZy(_܏oCn@%'?Ѵi!#ѳsz^!'Tf,^#xt۟.[~&d|55Gg4ӄմq.%|a֣sL s