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 x74 +c Algebraic_Numbers_Lib:threads=2elapsed=73.148cpu=134.944gc=5.132factor=1.847zXZִF! gB]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& G7i^pQl̮Р.DOUCom{ҚHXa~QFj$'Qyot߰uȈ5=[ªyP/TDb+č2 >V_C&'XD{Yݸg8H" Gv^7}–|=7?GfWGOTv4{CNnhӠ(g Xlyޣt )ׂHM vvľz Xïe܍Re zsy(n yqrh⥁k< _=p"di)vTB95ѿ2~0cq_ނ'abД{ c1:ڌ9A _ps%F{-em(5S(F~u\f|zLp~ʪh2L)T=ni͂3sy,Q$~#cxhHgj!O]i~*2Ғ~Nl$<$v?4g<3y`aK%05k$\ /}dahG sU*ݺ5ڨ1X?ҫߎ$Hf_Ae[7՝{-|$5[@ZE儴wD,glz0Gc.t7P|a&:R *!6H/Ut.Jsa0DkGGrlv|DBNaP}X*b.ILzd;cπnܗo71rȯ4B-_s v[!; Bw:F,t"{Wv 8o=v~twa>HaG2QUSwE'X W瑍V*,'*0Dn[hh2D}b0 ձ!])(bEK쬅ѸTe#E%!MUΐL', pw%b8(Pʑ׫/g4ukFr<{2eYZM`*UayS?\o.ӮPׇt3p0E+"ˀ2Kas4I>f3md̻/JdedX ?YWU dC[[Ʊ[^oCl[$ GTjpgQu;bTeֆm3b1J_O&:$-åƸ8Z3U2ii^_  mqc$t)Je]o+n5wbMgYZ7zXZִF! OQ]ŗXi%6Wvnk`$sXtvR3]7SM9 dsvEVS&3*x#Dx6$,5Kᄀ8r']R3as:杩|~ fBmX8m/b[SR=&㒤;کE ~'zOgƾ+Cy;QUc6`Zԙ '4=:/ ?x; ś-g0\&-[i bkmDsok# /3˻Ml$Ri+)9DOo%4Gs$O(yα788螀nڠ&;<ȱ2yf`4 Q;.5C L{R52Ϯ+}G)ˇP@MCҕio&*QymdBDPm@9; < %y:/ #c~%bV@{I@-˜"BGOMiuʀE?1-62Ie^&!wuPؿJ,0 vK%ID$4Kq \07 ԞoM\WV,YD>/k1%`J=`?u}L9VUuXz_wo1hiHn,4}u% Wllݺ9igr@dTX*(pn-3.0TiUZPTJM&gIv<ӡU1l40in E;e3N!yoeY/O0!|x2c0+\E+2I5 ["J l̅ š}f[K7) ~ؗz-S?fZw8MCZƝrdB#J|kl0&4Mt:h%%.4Sq6 ӭt4DKPTwbөqH nBB8P{ŲQV]8b6CYAnejJ Չ`dY%ز_~kמעQDggLU4(d;Ǎ ޽%hbE=@Ī=E=MK# mT箨&|\e6^Wz.CNU'Gy/l@B@?h;Z Ag uWL>:UM>8='QYAHzq0NImywܰy,pt nK큱'ec1+f)Dր[IFY O d\'\cMwS?α>afzP͈bCw_3 (i,l5%3M@Cآ_ 6/^*FbIJZlgw! &H)zHxf6Q=V>@XS gqyb&@/ T_2U+%M}@m4&G?iPL_nTK\HR]H(bBb[s_]jN ʿ! ,b=(`>wh/'xP9&J x\govK}gC[R3f`` aQz9Bʹ6t a sZ9֒h0Q RHJwO}N/IhgZgMSi8`D-0g_B0LZ! nXW5wĨۃW|}\W%h︞?m9c?}SuuJ;b@4s02~76da(J?>fg9\Vuw\RFSF7 YO!< iɓsu"׵fbX6 RH!UƪGR8k=Ta5:B _{XjaA\a'c)%7~ +kKeӀ|e*Hi^<ǓCTP]`}'ZƶT0[WhMQޭ *^”֐rU|ΛW;zrԷnt;$5q>bCF (t,D,[,\%ҖR|rQ3d#[lM/'/{A|'ܾi D#dkzJVC4ToX&[raQZƛ)@nj!d(x~"LeBRD3jÆ ,a2[&"u7o6#<6)\"XbVѓެ?d,TKQ /e$ڇ||'n;z*/lA9)>%zڴ2pk"ulغVρ-Kn9$]2~L A-˛c)QkHڣ' չPu b2hL&h5L@ֱt">T:xS >gAa ՁH/@KHTFsfn)#sܻ&!moAĉ]n\TRE^+[kJ,}1"C^i:SZA#sudKҌEܧ_aR,k9})ؔ\a7q?DO F- `ݫDDL8 T<רU1=0H;ЀQj&?;#T1GEF+p#(`ê#3qh\u2C>|Eh2ӆR}!xezױ ^0$r=GN?t kY!ӎv(rNJ),VL6|}NOϖ,-Fw`%