SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ~)p|d\ ] Chord_Segments:threads=4elapsed=4.005cpu=9.236gc=0.1647zXZִF! B3u]ŗXiɟH)0%o>I\UWIK#mq6ZRƷ LQ|0/ q IF+ weFQ[x*5J  L-GRnUU"!1?*WK4L>QNO+7w[Pe d`UuMd"ba1Z^>TTݪ `ژ5`cr'}-&:+wzPXʒvv1Ľb~!KTO= #N*RGpgκ^ڨW,GaB<`42ߔ.^CWA>q@$c.=K'``kR$%b\.)cJ4fCDV1%!/{/Ȃ`}.rF^[6QHqL0zq.B*Ti1qO0xVZaDQԧrAvڌ+&:0(7GVƚX p&*|Q' +e lfY|?K`py:mVg:xj#s\g~HbgR 5a?ӈ4ljhŮMh?.9 uf!nB;ޘDs=ca$Bp tp3jV둵?~V%1'"`r#t1$[mtيMPބ%qIOI /R9Yy7e ySr yZU?y$aNɏ(!}`Q-0\EPwuG|6-1?'56mZy˟)ӡdd5Y@I2{x52ﶧHt.F$V YNS'vEA2q|w$rܛ{ B,'SHw'fb x\ ڷf8"X:kbs IvzYYx(zP6,nwW,gwESd* ^1,$=yCP%]'a5r&'w7Ǵs L7|LE cʸKFĪ~Dd_m"Rb{w-6 >z8خEJ[km; DғU7$mCک=4oH=jY׍9bal*^jDo*-le!/DJZ.\k;s#OI#lA/}ܩ8񇞎EMEh(k|q͑Nj˷HN`?vHαq m)c7O5HB O'B45Y#`RHD񬏖ޑfYupN̗a],# M8Pas]6f`r7ug ."dX\ٖB,k^ &? J>l7xw`Pܯ摰2⤱9–)j|wY6 mE .n_8@(&qm=y qǭ;|}\!؎ KRn^D\vլL"8MI[%?7Q\sU_M, 8&OuZlA^&!lx.2 !2:B5 ╗f;\'T]86 -<9i5e5^qV˦ȏ8Mg\.1mc6Pj>-֨j'؏? 2;s %_۞ ~KJgĻL|SڿVER#w 5wV><󍑫Pqc+SXkDZU&]@\0jl 0p݈uDI\geUs'{:QT9'/SKɥDW j)F!($kگc3h%iYràT)ꑭ? D}]$}/m%yPga"5xIY 9uqpk9iw= b _e1<0c]W1fZ㑸ֈqy3ѿ6ܐ|{W1)(]o~YjȎ[F)E!Q :6bqrҷN'ci dhƾ5q='C ڇXY$ܟu r"G(IbCF^Wg8 ^]ù,wG1fس e3BSjg\ _=zC($Ŝ |6tؼQZ:ʃς" aQ]rY{Z}sF$͞$ ܿ552l~ ' ϯ*Mov[7DQ7{BY|촱Bl=?&a[&E ƒ9m3<3D}+R0YKqbHUxߏyN6P~ԓ,=FW,==A}~D(/if)D?#&k+qj؇vOΟ@ir3T(SľI~2p ޅc@WmLƦ|)^ ^ V4iyY99zW:Z'6w$j3;=J^ίqj +YVottNK +OT(|۰&t lY# bdK˯_E۪#7I@߅}?`yEΌȘ[S#q((γ1A 9@` nbHvj2?T7qK2(w]A~c7̇^Sv 0t?,FyEM<࣑ jI'VpNj~\> i?⬣׃0t$ *]ƺEkeld%v2~'x=_0w1 ęF8g+)FcKe -NK2oD^F0w{ ) Chord_Segments  Zn7c*]ѺOjE>$f_ EIğ#.h[mFi 4&"_q,N,ߦY-oȿIRBD6'J&&BvS஡M1lz1Sff.>/]P材Ok ~{zxjaؤoL3}Z2;zn2#BsʳYCy<+U^lyTZ}~"Swrv }E^yYnm}Z=EUl !A]kp.0 X ^Sr+QV6 "ӏ&ܯ|.Y/1|?$C7Ex,J\שRC4j yL| JU,QC'2_)5k2G4Z`8 ն;eu2j')SWGxᛅlg'z\2rgK.\;}6.nӮmp\ A/R钮nliVJ 1ft n|$7QJ6ș:X2rt @^|ށf q2If41\Q\ڋ~fFMƛޡ,Bw,fҸ[@خJVGfEx OT[/_:*(l ,ZJH8B99dؗ[cixVab<3l+ID%DRVr Uݓddj|qD'~I֛ }>.T] 'Y.2ċYߓosnjRO/ d==?bqZLDgLb!"clpP@Ac̹V,kW$X|a6'[|½8ϙ:{:[й;ޥpy隋S) ^~>? H*Yߍmj n;LoYҾ :z'|LkXin_kfO\gX6&"ܮ&itsT@'9tԗcsMdVlnlV^&L#ίd\3C ?/D%L_Vڴ~e缤OAKF^4yė)ڷ@9#[G {^2Uiĺ|n$+;WrVDTWTr@.;M<۹ikİ΁e-)pX7H d\ك%} \}W"A:+,eʨ^/~D$N"鹺mBPyMV1B@iCrl@A'˪#s#bqyaq__db\I 2/c@$d}K9n/HBo =a {muq3>->yg*B/U.xeU<([3LxL7&o69garteUխ\ʕi[Q~|n <^+jvMAu(x`b=<>)KK3 u}"Sˢe͞O*':i R핻S˷-FXFaH&jׯ#`NʤUj{[5[9/폰<8Jby+Tl^A4Y-$ ɳߥ].I=JDmL&rФr1v:/O1z9!ۃ~JC]ޡ;[C-x@;Y10l|9 29nwa.jnEfJ9nS+UwJ2[=~X"G (llŐ!ƽvH{+[ttP!TƂAMWNV^^88."܎U#.3MgYZ7zXZִF! l]ŗXiɟlٞYZ?@Lx!ڿ|i(JyƄjm)q8 }0v`srߦ .= r*.5_m vagYZ7zXZִF! &f]ŗXi%L&Gl$6Aֲh2[(i)@ ٻwV%IcsbLЮz ĮhÔZL.T AjW lOm 6l ؅TBAY1ʢP1p06͕q `C-N%hQy=Ԇ2 {w/Q.nm `(i,G=~; ' x9Cx`yᯁuUl}nIӨJ ;*Tf~*6B4Ӌp*G$*^i==$2rV#g``,v_ME1** k,u4G m%$|Zgvq/w±r*[  6| yH8!L:@2)U,CQz78\1On5C*`/>JVaد)ֲ.hˈzN.5hЂX QzN]լd12oap|V" vu.