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 WW7 d\ ] HOL-Datatype_Examples:threads=6elapsed=83.319cpu=303.884gc=28.076factor=3.657zXZִF! P]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwD9_`?+54aP𜜈&&bfe$a)%]Bԁ4+^&kδX<*2.*rj~H[C)x4\G"eGC k`]0ae?d5IhNJT:J%w3J)^E؛M<yzv/{0,tQ%jpAulT2'&\w&fQP0=c:d[+:7Ż+mNB\'i47|QwZF`7VƂ6at \J_Rǔgdr(}=s  ^!4ӹ@}\ ! Bҹh|&[]@%n\*N_!Bϐ1Ac_sT{"!v 5M&PsٮGGqM}sGc>b6@;Ĕ(Ui4u=vHxG]&FPD|H[,Z}te~ݘ~קl+yv)dw4ɾdW8#=jL֬dZ2{`7$t}A+Ă0grūR2aɥ~rFGy`kl] ^%)eV& 8 ٮʡ!>TP& 7HYBS#tPŵ]Z` <ă's z⎏c_AexDҠCga%o/jb*f/:0'-+ } j.] *.)=@ЂҪx-_^H4`b9>C+g vNM|L^yX#i9E&bh)jYM]MT;?NYf57q/4<o[PτxcYEԴl3Jlf4 ~fD:uBM Xe\iPPZIpt2H*Oԙ%H fyݟ2"+Z)Ap0_咱,@+ |a("փ8g4Zw4f.04vN'|W8*Z_j*b2i&[]9֩acеT+2 E> %L 68 B:87cdӺ-~qiIɍIVaR/,AK~$'"LOݢj>:r=F3UF刌%pD'rw.,X oЫ;@ԼZ[\nM̺tHI3 [H'?nԫʤI?Q:l)O3T)[-rFq{#B搢M*l'b" ڧEԙcf'~ZB`KVJIf;3W!?< 6hA`週4 Σt\ ~>f"\ym!hzwCv< ܤ |:}@s g9.v,2b5x.)hFw%PF"'?j(. c}w_D :6>,5l_^ ,k3챏a8\@mrpG_vNH/8Ń/-Ñ ~' vg]wfҢGˑ۝cW3"!m3DqEF cq\83)Rkl/F7%j#u*VI=t懀{<{X`n~ZkYt^*7JoASΓ} 1STcAN9(cN4pIO.?P~ }+%|^`|rG1r68lŷ`qvJ_u^l!d_\ LM&jR3~W,/|aq"1Qc깧,9R:G"1c-s", /eP"@OYlSE~ |)CT>*fK̑-a8\}O{ũsdϷZZב",%Mqp bL}پ mt2)d+4nN&dC\y5&agR:c9_5VNMƩشEW \\͢Y~&UǺ?0Qcx1jp4=202߬+Ib>I.S&R,k* ߳#1+HKLkR30+ϥ ]"1<0$q6q`*ȩny N=kuP:H0 cal`XbsFb0jG9ќ#'jfĺA{ Y>*K+5. h0Ʀ'-{h0TQ2uWq d JGmfE9P<y0psڥBSBK?ם9)eaJ$οs1n'ȹeG#EQ[%qG(0T[ЍCPO:c^̉L\FA9֖Ip O NL9Nx#ZO[I=z&*  ~.*Csg #PlUj*w1&xy=3c3pzkZ) +>&Z< *2`j|w&;r&-sm(ICiEa <uދ7Q_GNϋfB#Lj'26vd'm mdd,:1##.Y,nP,8{"ӾUaCN# vJrrw*Sۮ4(珐3},'%`HE!鋐3bq僷j8(<0paY[F:B*2@z.ÿȢb4\`&=n% 8g~Z\`E_OCN$Mq}"6osu-S5l&-}G,*?U(htpH:mCEJMv# ؖh_a OЕ Գ%a>, JxDbZNp_#qZhrXV^4*=NԎfܞv & ˂qfIQ(UÛ\ 4Jx n 3W7|,WEbqZv3b*;8BH7̴F_YCCV%qz _t/AՋghkbAT,q3#6f~Ӝ^lu{1dm`X.^80-eLOu{;/G*(Zn5K{C {6% ,̄5R}NB>[2x$h7w,:d3.hfTLG {RM'>;aowe)${T}"{6"w#kqZ챲*D% wuRڌ=<jzzƮHzZZmbq0J( Ukgmկ?fl֣j;&a@hf#|Kޗ0CԀ p&!ey4$~_ GfdKgH͟d]-)qd\0؅v>̩xXKX⬒L1w [>ޠ JCm?*lVVoe6BQ&)qіd