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 yy|7`;Gؽ8nt*q* .#lw gh,jm A6áԵD}GBo/@};f,armm9 [Y}Jڐv# f[uRYM M(+"tbĽ"iF@Z*#3sO<ӿ7~DN&DQt ^S'?^F=lmLдR9.'ɶÛ6'1)Ew@~3n/.RSC= XF̑o7X{Yx{rNJQ5+DH^b=6[ dSuJ5M[q\ak q;Ggq#9+-x?up+ JPg|R-P\7M@ =3|Ly)TBnUn>Oq9HE?x ?[!Y쒽d(>4SU!_&4iSeyD/atQDZ݂İv.iF+*>V섔SSf\RGg>쪢ܠDpb"EIr[F_{tV+sTS%1 \K/ q5p E\#7nr#V_XNQvomf~;cVo0vnErAm)2U*A <oëZ_.+fV+n8#[}ix`qz>ҷŎ:1wd1vm@+_[#_D~XfExֶ h\L@#lx\PPƽsunJwgJ BD N4=뢜<A|aQsR_ݒ$ O˱gYZ7zXZִF! ]ŗXiɟ1˦r#l*1#>Q 4tT5dZKrwң tG}UA8}@C p.TlYӸZ tfh1r[]؇W= 1%gYZ7zXZִF! vU]ŗXi%94-@1it%m]nAQт%#}Z۔gdVR&!*3y[x ClM=*́(}茸ڰ(Ëwه?1;<$h.AT )h0 X{t÷'4 :i5PϏ=\@0KOȔy NkkPbl4; N$_JX"v[mU 7 HOL-Proofs-ExtractionlzcLH^7ɄN ӕ2l@ "~$-> 1?^Ed!P [;O&ER:WKӵה'6W?kgݳ?cg1=avTPz}Updc6t2d1 ~Fx } epj9S7g१hٰSK/A&썅7`E8)>9$0/c\CIvJO.CS#Z;dDf'nZ:\y\pT_6 bN>C805砳+1a̭쏯M83B.7EIM/a~ƇiHLUs#JЦ1!Ie7X'h`וء>`nm#m8|v //d)xp$O2I}"iz/y88IZL{GX:$`]xĚ{hGpVOn81xƙkZaF1Lu~n84#Bgcvun6I]sզ]W QP%Nd6ja)Ac2 MX.Ξ|KJ1zP>vJ %4`; /3t VWo7j"p͎h ݼKmPg 3 pxڱihDJ4 k[xa1`\UvA5#/ܥ>2ERf_`pl9Rr ~K9a8na{V?3̝݇ւgt0&9T.XI9;!ֶjFntBtXK@R]v9wb ԳܜZwÀaBT(tmd&BqT( Y;X4k23rkjXtAkF9WQ(, .4n#:du25 m<}9IX́FjTy+EusA?W'F nx&FHX5H}Ț( jgSD&ht>S,HbBmNt-sC;ˢ23*>?K )Æ5Sd>do=[nLZzs#SKGڄ#e/ R_YKͶIW'\-w}QabXsҿKǤRJ⦔+U|+ۚ>) c$Bv[`k5Cg!/b $WIhqrLl,*R᏾{4ݩ5Sib9|O_rn)9xʃ Bfu~ a`ctW1m|VuҞI.Xbtyxȑܠgm@ }lv}}l!}M㸏P:z2m<LU-Żz#3doUt{?m (EݧZ.*Gg";,CkR0 Ւ@i}X)%GgR >Ʀ0yY) T]ZN;ve6WϮ^G$XܷEt9 cuj5h`Ʒe зHХ֫M-ſ_{+cɟ,\*梧7JOb//óF]̄j%FG~ @yu=eؤnb[TG>]v~!%YJV xwrX/.*Tadx*Gshr3kkmNH+Pm=$g;Op|WPt-"Pa7k)ɔ 3%oY+~9Xgc#x5AvSbVo* >DAO+Gp"]El fǑ!SK\?c%j1s9+: vuBq]=ӡdE*u]4/,3@}QOf=85ӮțW0eqK&#;n )+0"i ?ˤӞ,?W#~V\>l7ȮػOy%u F hK\nMI$_rh4Q|.wJ&[gTRֽ,L#75FZQ}Wh ?v81'Ou6P&;rп(f&nmnţT4!}F,P~5Ԕߗؐ.[=6Aq'ਜ਼,&On&ICuŋ1UF帰6k-Qա=Pg5sE @It^CA~?ײ~N/F)'6wINDSW$nb&ZV`ؤ0bOh(;[Uh;ܢ9ͮt˗d 8?!#KV *Y ,>Ko%9+CJT!^U!d>"Ωb!9N}T!96î1(s zsjsX|6)d yesRe.z2 ,, yhN1^OoA)v\N8+ `}kw՟U1C8l0>ѹpEjmwf?D