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 ;;")  yS]HOLCF-Nominal2:threads=2elapsed=22.988cpu=45.172gc=2.264factor=1.977zXZִF! ŏ]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ ) HOLCF-Nominal2B[:+_6wŭ8u{SgW(y>|#4 uhjQCȪ 7 bg W{!7;c>wKJR*1jcBS ([Wلݸ}Ȥ x"^>XPe)"(yӃ|F֐Tr۩Hе$K l;n%q?Ga-:Ë8hlW9 a ccwQ}UfӼD|x}Rӟ+Mnp4xQfABJA=id*Ԏ`nlB Nif:-!,eX| N @5tQۋ O?$ Z 'ڛ9 <ޞ;::vZ, ?ǨEZlT"if$eB|;c/Z"kR Pae \dyGmNI+;3ֱ݇b`$ >,3)ToH@&Q+Z6QxZkb"2dy̿gN ]B~yD.'IH 1Z5qZwզoɻn'(Lޱ6ļgL:]bHV' OҧğyhM\U7wf R;3/w)m#smV"w\̹%+NzdϜ %4IW  *_ިWB-ڦy%7f4}#oU&oŲ\ As5E)t f2ADG'Dv“ J0,XO;P@BQފ#c\3#X@n3C#Q,Ψ._ʮk?-;eT>Q*fO'3/ٖ/^\BMO*;LkæMUUv':!P8)kW]rb^(j}u<-gd>X(*ޞp@hrm07y(=7P?ᶊH(Oswe!Xv~cn l$.߿Qg"}3E׌jQ7MhV mV?b?mK#hYѢPY=@MF"wPAE_Wm= yV F<H0;5?`S9? f!AK +6qm}' >bȥ?lQJieRJ?a=ʬ^XmSj"+nY}M_/@@ PLiW9^~57l$s*VFVTN,6q0B,X7),_F|0kTy(q|^|g(tJY=rCڷ'ju%Н(m4.91]$6z͐Q-:DMkŞk$2* gȫ3`a/V<5b^^=EBgC9Fr{兒@3. H{Lacy-9TdЫg[)ۦcV1A|WWV:lz[%k@zEzpNWH|$?Nc2. ZҌNx~h}mVU?<%IyC|AB ӚO92'ztvauKfy~fs YdЗ$l7%DK*$nJaʺtԤʓ^pi傺%2œs rjx}->X4|Sox/ve}X@-/JRT'+1P,#GȌP_Ye} FXه:+u&x# "'S`&8Z3ri!!|8>)3J~DK,^N}.x Dt=dpiϚFvV-fpG>Sn[Jf* * gn_f(~ؐr&#S3mt->ۗ@.Hgc]C<- rb U?qyY1f 0&@G\HI4KNp*}Wɾd!h Q*dF+_a9AK;MM/ ''V;Olid(sGp=%Q$=; CT9Ig3X2Ƞ8?3m.F:I>n0T::4ص {kXD&8p! œiڜ?x:}'~W'@5n_F"{7әG,8J:.8f{%7 <`}4gKcHVx7HjH%ujC<[By|/[3߉氨 %D$P|yh۷W_ӪC]؀TH|޸]K0PP__0s>#d؛Ox9N'E  :73ʬ)Rd0Px7c8ֵ˾#'ކxe8uMIvX9^n͑ (nufW8 zhر(>,ђrCIif*JOC )yw@. fƩ6~@dz :m:Ъ;h8ɺx } d<)ZY3i5PQ@TWA >-i>oG*F*{*f/maJHi:O~V,Iz&6`{kX=d_kfeO틁M<9yO\a}wb7<2&| ;VJM\JO!SQz<)s ӻ0!&щe}οIZ== ;lzthҁ{0rX%!#T(!9N;p $aaеuhX)o:K|}TΒM$%łRsг8;Yt?dCdEė B Ql!G=0BIgcWkҤ6On{6,[eX