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 Z7\ , ]c]Algebraic_Numbers_Lib:threads=2elapsed=78.435cpu=138.368gc=5.740factor=1.767zXZִF! Z>h]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& G7HWfs 8_=hD<ӍmGZVm%z 3Nq4~tP꬀ty,uAf%ZnaI`;`M׈? 6S3->ؙC;{% 0Ў/o^D7JABXRv5CxT R0hQx'HneF@q^ wgJ Cz~d))j9v7ڂ!mR_-J `l wؖLiMO%0%([jC|7cXtO{I]>ئ ӋgI q+q_iP"xρWzǃCmu}&WdDq:<{@$=YG:6!]҄[Z&V9;܂|d"lϕ[Kݶ0@=;6n[K#mltmfM(_WtrL;2j165Ѹ;ԯ;0DAW'C+V{tuJs ^Jj#,$4Յ=vHpSw[qF .zBK1<3!EWmʕmgB"g{s1 ,޷0@XՇ Yyd9/Ʌ AtVik~7x&`1I(ϻ MIG^@>UF灬 Ѓg4E_ sJCl:b0}SHǿKTٲAVծkpp4d$kT/ߡ($޴V].G]9[lV+ ;!b)0m;cl0-Av:O'BCPf?BѢ0*]C>:3J%*3GG9ޕIl!٠/e+BmyFw} :l56"2p9@ubc/$r{sF]{>mhY{*huۡ^vE5q&D5eF0ׯnkY~ѥ1gu87SMjh!poR%b ӆ9xc?u;I6U2Q,>;:ѽ=$e}{d<Q,yZgYZ7zXZִF! .~]ŗXiɟLZ+Ǿ8T8w4=@%S14VupgH:ɍyW9/Fi,ʭ % }<HL|ĽS'(=S?QJ$C4rAc:]!ΛW1{0!K6E۞Er]L}iHUE\"Ùa/A f ]/*ӝ'jedߗ"Pdm@'"̶he[>F_?vYGU+gaOzayowK]XsC? * q.bߜJO=Ɯ#5?#ykU cV>Ko^0,F8 aQhOV̾ЈT[0eZd  gYZ7zXZִF! g0]ŗXi%92xBDs2Iv?뱸콼9L!K0 | Hq;~ ٖcrVȊVGN p6*|}/%sʵ5M#I*'gonmTW!4e5$:`$lVT[(/Qxwmn׷~#R.{zm]X;%"tϰ0553 P4ߢinA8a}\9|O?.Vc'+:^ 2i*s&&dV;<;kKIeb@295 Qm5i^i9Rl0at"+?ޡB,#t(Bܖ`+K-K&{:q{N5D҅JAdƏ jfٶ{GSj"a)[h}1KD(cxr-`xBdKu6%.2،#8h_l EaT  SfD|wt%ָȧbl Y3ZkH[(GkWM 7 Algebraic_Numbers_Lib⺰|mLM?e)˿V߱E~D-t,$3~h@1i`t0J Eq5I96WW5,UXfzÅ^8y岆q2 BWͥN΅ĊɣxIX%epy4 r鐂 F/ˎ&2%L]<[c0F뛃cIFb!}n45W$ K|uԑ 0gF(`?fgyVB8dܪZOyt+sz]_bfZY7!0Rc(S?'0Mub:G"ߟ<_⫰b[#@bƱu/a6K^QԦq`5slاO^&gjk Acvcs WׅSp}r=|2R5d3I`gȧw]0=TXD/lΡ]Xr8FB=9!Xs9vW?>n# 892<N& k|. %j&r @5Ǡ `Y߻gT<%xmfnB'I&3$#-~iIyRC [/ q|x䢂9ں( 76SS77$~1}nfOAWQ!(^i)sT̉Fqmy&Ҵ})+Qqq ipu@Jי=,ݯ|4k0,R;py^9lKdXz@?֑"- Ŝ >w<-J&Vbͨ YB,kV,8XuI'M3JvV crI1CC&Mk&vy(ݾT%,)1 d^̓̚g]y-kTW_ >(P$QRRdN }p:f/Z'Ks">~:d1j O-P[QRP?[=dfgʒf~q-gVqHQ lk3m)>FuՒ(ç82ؚjm0ޜtd {$d=4TSU#oJ̀ V&UOW:2lM-FnƁ$gx_lV?g1UC~].;soMZ.Aql[Lk, mPtBe|c v=e,+p[}u¸Ɩ)8e] o H 50nd̃6l.uuZX EjZ} oSn &(h^L[[Hrr/45S;k$u9jҔ6&Zx3zGܯr*]^JQ0)1X07U"90~`n"cfyKU|P6=J>{iNYqS.*燧Yc%(kHY1xOVQ-5!+ni.|N u%A"s)xm$\}ཕRoݛZ-Pf: P? 0:Ծ̷}]v}濈zc[^(P @TlY³0yݨqr3YνJ eb(t٢KԮ#5ú[@&Zf\=]ˠ?0Ս3AJ="TS;j}kgf?ͬtj NP+©d5Bx$ /y 1l7=I fdw=`[)yqo+r0.6w1):{3NO.)$@?M?H`Чt'[P"8WY>#::"hu}Ol.'9NT.KQ7eH%&!k0$iU\=+Bnx4I1(l={8,>NC~4bC#lW/ʚŎZ}Lxt|}(9`0;יV~@*!1~&bSaȢ'4&)' !HxJd%|# z^3+ča ?HEԴAxB* Hd"X2 @ 5~Lũ 2冖YT( \ytK75@!UgYZ3d3a4de17aaea840b8b6cf9fb0bb851746950c5c0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c 6d50128481724861da7ef72bd088fc73f1b1a18a a4074ac49d0786b000e9df2d37c2151a5ce3300c 293ee307aa7598c6dea3a20f429a1b3b2df23baf 79f2694d8842bcd5542722347cd9fd2bee624513 5679639c1a6e998b4988fe3c904af1ba5c619462 fd2c78dbc2a279774004a9bd8846cae8479ac3dd 9a74830b22bbf24b5cba93d4c4537fe42d964bf2 9e848cebb09ddfafc093c2c2fa0ae17a97f21adf62fe932e91ba492df380fd141f4155b9d7d56b14