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 ZZ+ L4 m/ SenSocialChoice:threads=2elapsed=19.504cpu=37.844gc=0.672factor=1.947zXZִF! Z ]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUXߣfnL8[fH=Zk Gg4 EJNj#@ -?O wWO  ggTk~#a-ۜ2" 9ގݓc2\4bfp֡:6Ct>ԣYF,3h]̙94t{O 'h%{m y>7!_uigڱrݕzxzLˢ~*/ԈDu5ڌjFB7otI}4oziI> '3j $\5`D4_olH(Y23Ӵ9Po˹ 28,&rY?(& "arӝLn~0f{)a\ʵTa!ߡhRI:ʴ2&iqKOan.r4Hy {9(ԓɋ̍;(g!M'5#E4}>`D"Re;f͑﬿C~B2UlMJB*gYZ7zXZִF! i]ŗXi%._6%IxK7V&ꃍ8aK)0 u";yn NK0]o`TΉ/C<߿" 1!\4'g@@K3EB[JDw^.mϷ},&q躮\TŬa9ImɯA1rp5\368]GٱgOۉزwp.sw~a<ÒGׇ.9T%sɐXC=l< _kO"hqa88ETW0YBC -aymb+'[ B- m ,ɲ\+b< rxKj@iθ;`bFU=`vq3 ?3I_^#G ,ӖJu0Z#GvWn[76D }lb QJ)o%G 3^N`gf˰P6( hB-dGm/$7rQJ6H1`ZuYy!}D $p0s[jC- L6KHgSHH O< Q% Czh~,