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 zKT<4 ]/ Hybrid_Multi_Lane_Spatial_Logic:threads=2elapsed=78.196cpu=151.568gc=2.592factor=1.947zXZִF!  $]ŗXf1-/6vRZWT:cs1=n8>^$X͟@}AYtL[VYNy+3:"N]v^zr)]|wx5PBݴi/0$(hy: |.z 櫻_lpԍ$oO&!o+5*ϮߺR78\T5d^aOӱ(gגuF`@iT$_mSzܓ*]$қ>^i6Ɍ[ )EaZd`nGn< Ò@MuNf Ģ.\#h%zy+uO;/PX]]t8/0ym˽EY~"shOp2w͚#v/nU[$)%$s&ZtRNi欼BRP*5`4x/ o`bFjAo)2ՆQV2+=d>6Ca0jݺ*>y >zQ!K$1>%a&AP<@v{O0I%}ζPw'4b,HQE)*ޘ=N =&Io9+aʈއ$dCGG5(@!Nkr6e$JՑ=r}gw#He*pAlg/`o^rKpRPT$e9B=X%Vj%b;*dȼn!gPU1J7w'Q /uY'w`D?CR! MO0{W4^IR V%wap, +?tye>̅"MnJ8>wlFޣk4( ˨ZI B&Ω>eX} i-+F,^y8SN0% _qhsfGM09G,ۡC㡈yu0.fGxV ZWdk23ՀZk3:aB1]8`9.RՆѵ[0qmդI__rc;HAڶy8W7'ts:َRp$7?x:zy(@2c+Vn'Nj$klS)dѷtUЌ nFxjP6'^Э,γ$iiފur<%~@ ̍}L'{?$F8NJW:.s((7 sltq"?;3ď:B ˃HYbh5 [!"󤇘<jU>+;7ϟC8ĉ$]L36[1O*Lh|fi^"/cCx#a譜Ţ_~ّ]J׆1fߙaE^8JZj.4jE80 >isPgH`AiH_lz %pUBA(ޱվJf0Kw{iqZ{* hjS%Y" wU0i81p?5r QYb暼f iSS&ҞSa}wo2Rum\é`۽UCrŅ?Ov꟟AoO9˯uȡivQ_"xYFI%3hDby.ϑAZS88|XD(@1b.I?E ՠcsXW=T x+*y"PDqbl0ݱ"$|$|2Zxxt՘{ wRƂ1f<)u"'cJOu\ w$T4$_M5!Y~f`5ɒk @;,_ ފzTj=VE&\"e7QR`qLIdeY]te=LZoql;œ$hc1Az}$ÐJӻ 7'gtuoRɁ!~f>Q:kaZ$*=JnmZ?7_aOC74\#_DcgG= g`q6}:@ƶFӫbñpGtM/Ulss y1^NZ{xZGDCm.Q>9';8Oj1yoF@0:^0Dcm%wnHT 2"vfm&U`?=x7:Ka:O^g@s_*Zy°/e ?Ot̹w0ÔDpW?.Y(U-Q/DÉw#k# ~M$'ml c*Y] .[MɈݺ0lP%Jꇕ-ƾļ \)VwV( ߪ2Zv9۴yOdG)M a豋wS &qpe a˃@Bl]+tr^s fN,ǽ.DwvWaEP n[(W7=N:ͽ]Czbp"0_B@I"[n !fo rf/,,IP a눭c#$2RpKC/?#穮Ao:.Rm9),;P/ݭ38V{.\"-TlAOH@`{,A")1 uvGR- ԡ&ix*D eWh+z XlC:{\F0qω!Gvg d/3F\UBdU>:LHwa"aV{KfPiYøNѺP}iϟ_loSef;E G=#{7 d l%_=)Xfq a./鑘gQ<}M7YmZK"]bh|, 9qژzUdHP.P HQ6HJ߯LwBOpUoCU}d:Jš+6{#GɦZ 6Z9[֏ -Nhj4jejI0'` `{fZ&JИu4ȪAPA3>MTFS7^W$<oŸ55ÿdmh]foV՝] Fmײnؗ6]N&lLEhhWe} p87)YxNPB!›; 2cX7`!M:nf? i,R 6ZjyFX~%:eF*"2kGP,VḪQ(YlL"Fr4:b޿9wPꆇ/ppA`Km'O p9f:?ltw Lh3"2Nݓ/&>;l2hp:k5rX4&ww9X#GW4Q`CƑ eեX:10Ʒ<@;/ϥ} ѵkXn}(o/+v>= F~D3_a#C XDWў;wҾ L٫ٹ!ZިTͩ5m zت@F=GFL_5LV&T[/jEH cb J^&8.PM\XPZzr$y4%Vz/X3,\1I?/\|3\WFv[&bq|)1Z"`)-87IuGL}YW*+Rw{oH;*wFz+4rfS}LkG|NSݵFI1Z+֟g4LC{Qy̾OW+Ru>L*ޡOGY!G-qnӑX WbzSa2UUpMk݌' e뎓]gtȟW w;