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 s lT ]]Deriving:threads=2elapsed=54.889cpu=93.628gc=8.188factor=1.717zXZִF! 6/]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo>xSfְ]M1C38ߺt$H{9̎x)J{η! @c ql~goRhak uymcoD̓A[uD/G8J^LIFL8$)zJ"=HD7d~Pp]ċZ  ,|x|=:5Gk.sf.Xnoz#PuEtS5Ac5D 劰ZFiqM:/At?{$P7kPi$Vj J}-W|*)kHVPٺŶiU8`Ը}P? Nae2Yf ?ƚT*L+t+7!>" mci= U[V9$0s\z"Ag(Qg)95)*.F_e=%_ "xcܖ x; a>O)[tI=tQ([(>œFr~XbR(Rކ1^S񄽌hr}釅XvL{l.TتMg ,tդJ4qQ_ Ի]xbo =P xቺ>Vă%If0EIOdvׇg7?R>{iû-6ԫj9Ad'{H|5^{Jk)=%es&a}/a~0u&\O?\,lH7`ŝ0&6J[Au0{eL>YEމhs­5J  6@xkĝɫZx/\2S+!i]'sd2/80DX~X ƢV`/ƒs /&N8|  6p6h+BڸϺr{E}C).;H1¤# >*@ vyQm-f6v=Vw6?|9޶=yB{ ]?sFLݺE+(vAs.璷K `Ctv49NK7 lxsagYZ7zXZִF! a]ŗXiɟ|E\Ât+.*aphG)%uG޶ÇS!jL 0JjW6l-D 6%[7Y`I"J}a fn|OAx}f   Deriving HDȒ@V(qotir|CjlLI T^ +c$lek;)uqb)%c2ocS3gڄ&忄݈,q؉l$ݱ!rww['igIN;ɱn)8c,].UA|c.5IlOxj<X1FP 3ʹٱ DAw s~P!gYZ7zXZִF! ]ŗXi%;Ŭ2l}>pT׺԰UX9Ș,IB`x\xHOzO,| \+ZQ DJrʠ^s`*k~n%܊D2Lߩ? FT'ms]bV#PԗlUz9E? |@|_*\}Yw9ǵ[~}G vb¿|P?ӖLծmj|Rj;`/k2iw JN}C=s ?p0 sa/gtnH+E^I9Iyx47圽5BܞD@Y|h0;M1M4N,;ykߒȻhD&CϨX*G~Վ{-Jemgry5-!@h9W֊_~2Q+0U$r:>kqD;rQZ˅@mݣX,N8.)4c(gaFgiY_ Boή{/},4goH֌rwYz9m 輷LrbǴ2y}UADԭLCOLĶRj<6ܠL:kl}K" !'C9b^>`XkOL:^ ~ѵLQ=aA= ;sX0}!aV޸YV_i>h2(mZaؓ6 DcHr:1;pn {oVP N/(t/f$ʮ"78YTDYeSt $ڷyֱ!jA3 N{D%~5fP4EfvZDGO=ٓ M4W[6ao?ܚB %F ߻YJcȞ>M;* ,o-p؎+vu{w(Fݑu즄|? |Sbe GŞlA"죡cUGC)'׉n+IOQm56(j(=#3B, jՖ(~~PIE~`׊zA)gyFo7 !&ei86?YjG.-/6@OZϫâWY.6.̸BS:U15IeTۄc9!e/Rzus6!6bꞁ7`RTmᝅ}b:9d ؗ.zje|89u6>K(Fs;9ĕ?QD\Y )k0q ~aoB"Q!u6ڒCYtO3+k6[#g,N%!k1|; lsܦAc $GBɳG(qCY^'_D&%mRlK \H WP U_ ߾hwt6@aZQeCTFm`U>[Gjz0 LbfX·60147}JL%0[Y/KzJ*i7#[uOhZ ZU%l~Υ٘deQxFsۼ`mGo7TqxqsB6Aj+8dWgĆL$U<)n.QEr|#Zn8!OƹtB dr^s dXD2Q:0LKUj|'mz&.#.1侃䄇հ|ٲRqWFcto@)v2(3b!k#h=nZ:ZG[H⩽`rGJWh4[FyO-8r[QW_eg?1y)Flix'RbU\ggwE+~"ؔǬ6j/KEϖ!ǯ" j- NGڎ<4 ;#^vLZcϚ!AcΛM:@(-X 0U累7Dc494ZhWkqa oA tDEU]{Xָz+QǻyIƓ}1w:'E#0_lP9ζfo $zظVhSǀ5XKA e~#9c2.;yrxkNoԚ ʒ_99/xJ)O`h#oA@q/KlT>:QF| =x/ǟq1OTiMǟ0l2 Cc~VШ92/tԲ[Bɠ4A@v3{޹Ys+&}|sX Rmz=@FSmM_Եt] [>[`oXpX2-VFv0|b;y/rYXa!21 Jŗ!dɔĚqJ2|8@$z)lV&f'ڃE&!2d:@ojf\#|;Btwp,.Yr:`v C&pys h1 *n#iNgFDM@qp,G 2g[ɾȜƐ(:c\۵R~pLW?ˊdz`p.gYZ233b70714d2c8b30e03feb6fbf0ad56f641dab6f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48dc4e2586bc0a9f4b20f12af427419b5e9a13e973