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   M1 \ s/ JiveDataStoreModel:threads=2elapsed=14.750cpu=24.676gc=1.292factor=1.677zXZִF! >]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ %F^x{=Zpf@탚(RNBѸݰ:!S+}X<]cf|b#]UTZ@ \<%K^ -Ŷu%Yt:~*'Ec:LɄ#oߞr>c! "vVU9mPD"tқ?D-kGe.B1R ͩaq\t|3AA?ޔ@f[" Q hZTkDwf @.A 1 JiveDataStoreModel? ʯ \"9L9#p:AbP.pX%ͳUg(8йOC/O~7%ufw=$msQ^!;\, V1PMfi YUX'KRz:`l Sg>m[n~* uqa8EM:bu6ӯI|.!Y;c1ape|# SdJYvsЍpK dmа`S×*䪩 cQ9t3\VoV5}j 2&'m ;nA4 d\́JLXX;GyɞI7'2`Q&ۀ(d"VuΠhv뗙Uud'0yUFި5oS d]h&*)sZ*Gdٛox!/0v)+i˛z $NQjXL>o}5Il4ފ sHSW w5&  iT 7"I:0]=ϩxA<0T#s@ίw%!BnTtи"&HKAaIf3fyy2n']t (6T1O }gYZ7zXZִF! O]ŗXi% NSW(e'RsU$ߣ7G$Q|/m;BD~p`M!i-2:{+$- vyRQI ~\ '57T s ŬAsw %[3'372c[3b(S&y6KB,:Rf4a'5+9ĜMl8 s,, +Q:=}աQyZ5DBU?)kH}xӺk/hu>X\TNj ? HTO`Q<[Kd$l3.`W뛆B(zp,bsC# ~IaWYxTsFo+q9N"2h'C@a}CNc 2j;V$Nh\yH}AgzўBFiHR<\=۔A,#AQ yv"3tNpi%m|vQ1dV~ݖ3ژ_8,TTCsj p:vn @3&א Hxr[d+֯(D;heygG==sYYYjmɷ·R#yl4#x&=ZͿa;4,xW|,@&98Dii9zչ{|x61e/ӼuT=b__2E>yWqKLaF5g<*D ~¦H >#HvSg뭁E+IYoss#!fUZf׾?{:nԆ8GmRcp!_!Bwa\gMApΡ|fykm$0*'9O9~äOXR3D  SfD (I̡U>{,M\C(kԱ~Uqq^H]TU]AL`ԇZ}GgvY24ϥ=6S N5>MVzn sf+9QBP): KG=J\]p~{A÷R?Hh)3v)_͡.kO<+:Nc坠7x捤ڐ-νQ΅t ֟WgYZ026e82bdc883e209e95ee7182f179e9a51dfea19 169c7b0b8bf22ae334ae1dd0922e05a66567030f 4c806ff3eeb294bc1497f30ff8f5e9c8100a631a 4ece2e7d462effd4d763587a3986f069689cbfb1 55a9fb8328f80d8e547cdb93d4f21377ec709063 6c33d46c0057a2b99ab1bb320446117d7c11db32 6d36b4dd7f669f1b63c36b0e453bc9b40bfcec3f 70ce409d38ede16b522b4fa352a7a32dc8d18e08 91cad80aae39bd03a63371f3556db575ae5311b7 a55c24deb47f8cc95fa002619e42b3382a09fd7a b728e68fbb56eceb268eb6fe7d26dc189effadc2 bbec8e70538dd76d3e6e74285fa4bee9e74a3b6c c4a712d8133b4854537888aac9724663140bf2e2 d17ab5e06f74269a63fb59d9dd87c6ab113927fb d27e4dc29569653b37d9d47696fb0b1a3802fa63 d6ef458dab58f274b48cfc20774e819210033136 e3832e941a546c1a17713964cba57e0b0da6211f e6f30532503bbc60d1dd44cba068487703b6f332 f4ea32759ba07ab8c234ee2c868288124d535e94 f6aee7989fdee8dcdf7c9deecfbcaae5397c33853b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd