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 ppy%t$ S MSO_Examples:threads=2elapsed=86.499cpu=141.180gc=4.644factor=1.637zXZִF! \]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Uafts  ~=(E]R53 &x{5a@sa)GfȾIΠ?8lgpjcd8 ,)MfY ?e5SmW5G+˦nS$:9gM~Ѵ][X;.h]ܦ8/ ^?s-`KKB=roj0q:Z~7 ԀrogZ8!$ƊCAwa2B(׶^e ˼3P|c9AWHbeҒFYT 5}8z8(]{To)n4z?q-t FRvLw"񼋱gYZ7zXZִF! c]ŗXi%H^/8oȆrǝW$ĝ1o/ `kAa(s/O}jV 8zcx+/ɰeA#LY%r,\A.e vDe8efl&港2d:0gQcl5-)2 ܯYeh%!vOsٗw ۺeouE-Nj}xzEKhLF&:0FisO\i I$ 픭{o-vC % MSO_Examples4.| `ޯ[,/ce|fnV&Yd"(H!#"*l*G豠t^E+>. [H^Lcys%3ßri"|o!b4Ff$qV[e$">ψ}g#ĭsP#u:E'+-#*ܨΦz yY54O80B2=nGWťs~-0Wqx7Kp#^hx{ 5 knnoyn+Wz8q8pmwr6iuN8!ifFgdI5ոw1M\ `\bƮ1Cj 8VFvѡVp]? yEH0/@,H20it,֬߫>939\3uk8[f_3]KmS77&J˙ygyczsOP6Yby )c,kbPwϰݙND|(pMgHIv6#cn.ܐvK;U${CªWXUek q%o'_7!LT'!B[/5&\CVf TWw<5T-UyT8ȥRSUIq3|f<PH`6\ߢE6Ush|pƊ'rf '͈H|NUG't8H O KK c;jaB-c+Fo!ݑV .@Ej'%6628JҤK'v5a~ل,=CiJ]I唙0ޭ{}9Y W+ʿr>).ęh98m#(=\QfzM=Mś4ڿߵFR9 E?TVm@W|J7Փ@Fv=2$UDk[~}+胣uN1{<ěf/G^, ײ{%0VS߬;*M=6j. 3õb]TXPFFNcm; 7eAC <`g!V &ġfI5G]KEyٍSZpbGglfB|>cMFdEpgѿ&j2XaTznEnl̐CtOkZyqdJTB2̹)nۂeCtg D=Ta\,E.3j/ D?ϼ{lPV؀"Oe[<ۆSm(:wJ*%7my֠Z=Rv`}*1|flgv0!( \W2v3;(2o?@w djschbi%gPfF ?Al#Jl#^BxNJ9R:RtgVa~%ӏ=,x鋺,a4:q)bEJ&NT|>v?F u/KDdp`\l֫hCXa2@Eޘ"kB9 q"6 F(yHhGYQr,;p;.'c\݃N$ ?KpradKxhAoa IҦׅd |\KǙImW opG=6?[aqZNb">¤~zAd[x&-4S :ݑ9vs#lYjRH"UZ,@572{(CHI暜'Q3o5gII2@ ߫73!EMCd!Q ^bXI$ȮV}}n\#!L$|m; a ]?]U*`xA ,غ0 |,u[>:k_WZ@hY#/b]g|eݓB$ 0tdnS.GӔ1RXV4 ;dR&K0=|LAy/I" S!/$Z`"-bXCvQ!$&e&)[~I٧=!ش`m>ݵ44qEؕzJ# GĢ34o ,g=r aG!AZq<.*)x8 cȹԦ4&Pfoʅ^>dEɻp;JŐihfA_ H2/?zvQ$)5K;͸-ꤪ܇ ν4xVy:#X5o(^Cr".5~$@8ݫ_  {OTh}W?F2q_9Ol?~.ͳ<;)'K餤@nr 9Au{2x}G x@Wwgd_lZàDv0E%:¬râxW3IEc^K&k兏ލ:՘W2JQ7m 1U;hVtCt{RmaTf&7?u/ weylXwV2GJ 6@+=npP4)euRCeωcnOD`R|={|TOВh*(W<.hWAkCq໱5cXEhK7WޟsD-̩O9cJ2kT1B^Wߠ|dAXΣM&-jq8Aa m:NF_3 CuK=T_\Ƀ`o ֳě1KhkieoR~ &r%3T##BB8IYVa ݼ,ipYe1Ӏ8I3~>flapDlb⯢:hnߎ<@$sT7EZԜiX +gxlgYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a28c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 76f26dffe55d541c303df602524eb0bc881fb5a7