SQLite format 3@ .  YYQ77Atableisabelle_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, "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 #dt S]HOL-Algebra:threads=6elapsed=60.967cpu=193.572gc=10.256factor=3.187zXZִF! h l]ŗXf1-q恈\T,rB I|2C;" FEILXo`Ê%/iG]Ҳv+3ZщYp-Zã82TdS"r$#^ _ӔG~@[!ըۥޏG K&Sŵ4gI>[EWmUX#8N;, !=?!Wv0aV8 -|  # HOL-AlgebraΖ-xU}JK,T18ukBkӒH~ 11Z~evv:} +0,stp 2wiV)w/k@@˥\/NKrnaYRL2f89zafDJ?Vm&=|f|[f3=%'~>bO3GmoptbR<Ae|NY7TByGx>')N3X#m +^8NjNJI$v^me\5pR=J"mS  K }bIEbd_(XN<^pt)i/UPxLimv!5m#<5/8T>5F&#LgA۰`GC"ĄZk8jn p )q37Bjfu[8ڔ#z$M;*Om;e0 7<{X4"5RŠ3E]²B /pv ,,0GtOh!&w,Ou9U6$PWQ ;'X|U4v~+vmf,'-c:1PooqD1܃J- "ŗelmZ 1Z?u* `7$/t1G p ܕ$[5oͣgq_d`lrfLLz~t5$]N]"7:%yOԽ {Np5I~9eGХ]s}w:i6=Zst[LTWz9K穬 VXȖ>9B u!dp/%~RN2,'G -YQWW޷oOBam<|I' _'QHT Kw@p5M jK_(%m |hlY#b~-I}X6gZ6ܓ^^7'vҕJAR>l5# IDXZ<, `|J΅!R^GRAJUecJ+:ФpC\W.I~uv[uR>ON[6(2׬z bK\i}n ;Z!=-Xճ/s.?,kab}|ZC5 ?Uۭ'Amz56\[V KW9wL.y}}8pb j1- GnxVmV2pP+պq|94 0Afli\iu^ [Or;-,0d^/狒!wM@I~Z  GUy$G,^ePڗwvNH4]3p_GrF 75 9g~wb,]}|O1V8(,~!F歟+YSPcit՛*noH( qX=kJ/~G"G$I* x~fm@B>斶{LE>X fm%];ٕ1PJKƖmgg6M%ŮۥZwO(lՃ-=s1]Z4F2*S}(oQNӇ-F<X!ԺEaXin KlwKӻ)@L&"jzތ#3U!aG5vdǁcY}>/=|˳NM\&Dq>Ч1W"E}^ \:lO k/Y1+H3,YY6V0 WUW>osjDSe0ݑ}䳌E 3[}[+8b011ZMs9n{7Uhy*zBL FaѵPq\|VϰI#U1qH.R1{W„L:urZ<{"gYZ7zXZִF! =]ŗXi%6 )g5AqaX骪+J8s^Sޭ"DRk7XJ}$gV* r}$O{oz ~]KvK0zn#YqqJ񅋢! g6VVcN@žs61Օ29DN:, N@Hc:>sr8P1U*07j*b#Y|O[ayfV,`AJ\F3Nan60a\p?~P I{H"AElav2I6g`OW ۨf[FQ"۩/A3Bz'!@Ɲz⢡\uQWPڐ1p!PTOWg'p+=taMe4#KY;i¡>՜ףI_ 1&i/}V6-w*M1!txQL2Z](1:D< n7=on;kUL‡QpguPȖ|8sKT%y?7._[a]L#Jڭx+Ӊq],v0q!pj.ۙBG^EZkNcw&H1&S6 >ٳ5rA&C٘{)t¹YR%qӘOCPMPtwnns,ή'+@FsB4GHn5t< Xr'"HJhca ` zih8/HDw@wirkpicqL2wÂ%{K:mj39N|>tQw+C鉨L߇sYi?J̺FyH/s1V4U?D׌0nPopKSy @l3:04t''h6)9GNġ~~‚Ն==-SR5}ܸHw6] Ԍ-;aaҠ:9O)E]6 )eMÍ}u Dyj]\[d+"A/cF a ԩH R 5T}bðT D)g0D>C1myFp$@K;lya}-(0'tA @J4Hī É1}Փ>Ld)?ugy!˷; t7<"&  &7zq@‚Af/ $)(?%qBbLQNQ#=5 \Q_MA7.4%gjjco| 0Q q Ł-{ZOw5$t9ul?J힇HY;]k]$ . 9G8k! $1yr<|YB_L{7}QvNu$1dރ[JO&[&^TUwdi&2;# o_Ӑ 5K8?) /iBč}S{(j2a?bre9Y&֯)fipjjU G89hY,Ub`t"'MjQuF_j2D=kxenuu'l!ԁ`atA !lIχXًߤx71|NdN^[-;BrhwBy4 C+}jVǓ9{3ZZ}$Uj̜[pLJr_%z;^_F8 r.Oz7_dU轤8z9Z=B˭⯴AB6p@ze.!eB:؆',qQ1}2ϩK)}^Z=3_F0AίĜ6m$h{v4<;8., \WX bse?M