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   Lt ;% pGCL:threads=2elapsed=36.621cpu=70.624gc=2.128factor=1.937zXZִF! &}^]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍﻡ&B]$ 5@qôpMoU$+UXkW2$i)TI8&Ioy&(\`gkKk{KJ:EmiS~sy c&Al3)k9|IDUUh2mKW"mdY@]$90+NO>2S}! |2S#Ŷ8$5E^-Vf;N0YmLﴛO^9Ebе_4?ヤOCZboaƱkǶc:4rKrt2∬.~ig);ؕ3w_ebBeHXh7bx`ИOkN5z* KNE,^L6 d!4<8r߶K)֊JeG"@bĶ;d_@tbצ"kVQ,b(IJl~_1y2hT{뛵k u_$46+H.MkRfC|<`gr@yksJ.՛oT  pGCLCy?)F~&A[vfz N,4]bG{Te8\^?ml@ ׂ?_}ױK]Cap,gnZv?NVṈ VAq5\YYc.h鄼}&;ݗ<DFn0v_ː#,E؝ OoCwxi~ޙҘ ,Sp:>r GZmb.#HP!1WY>D?3s W /J k7rڠ~5A"!(._`tK+}5,4tKy˰Q{#o(o;WF!iIwNȖ#k5Ia\c˴?鏳KKTc{w!@aj?T^YmWQ3'ҋz2 byWDH^\ėLSXgYZ7zXZִF! ã 2]ŗXi%&=:4p^z0MiQψջY;`'b(ڕa{ȖLE}JPk]W~!4M9=)]O@9$ ޙ;h\X~&Q0g8j H[YF,sAr6(.o XePdj0|9:gE@+jh c0't !W;$Mmd3%="3u;B l WidY׺%G"ȱ!^뎳m'Mhڲ.! 26*(OZjR:.Ϣ҈q=Ʉ4^#/o_4]IfZnn<+W&ג] ǬLvHDžk$ EّH1汹R9^N΋^+숔 "00۠$FjirrXs&SPa u/ @$@w}]$9C` )NXm,tL3ǞO,a^Kzg ubdhog.W<,_B, !inyh%jPC "߯vOrɃGme.7MiO9]]ӥJV 7,5'CuMO?$(sS_8PEe^B.S\maVɍ𝰾($v)ǡfRY-APA-) R!8$ BZ<<$l!lVdNl m>ym_;O)2l_}o`ĄjQqNb^乯VBXo<&H__A_z„͈(*HW>*< hPdŀUњuW|l