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 ;;:7L | ]c]Algebraic_Numbers_Lib:threads=2elapsed=80.907cpu=142.392gc=7.068factor=1.767zXZִF! `]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& G7SG3ґX!!s7rQkkbMiA|v7bmkA 32 J ^mEB-E !ȨR&i'Jj*ro<[M3oD]>}th͐:پ^tEÔsEߝ5Ę=ud>ߣ[̡hI}n [Dྒ9eh*`*P:kS8'd .v ` 6?=GP2 0Dl4b;AdD3\ zW:rĪ `aobSHlO#:0A]h~\|nVC~w?O|d?.Z}]*>KڐpcF>+:*L e^vk ;]a rZ2gGpL&\$u0x?\ Jm [=s|}?1̐gzTR ot㻓A+ÌEsh'e MP3L*LbU_lRۍQ(אF)PM|+D3zG"ܿXX@4W uPq_ ׻okr <`[I^=pRc-UcG/( 璂R?L̗Yz.[׷it<1b}[#EDyT#_H KV=^=ܱcW,lIQAA)y} `vgD8d@ c_>Y3ȸ*:瞒N YH0@!yB2D uv%{Xw0hܖ܉P촠5.|d"a=EHcW<'>yBv45;H࿭ȩ"[ !Re4mJeW)<IaCaY}}T]=f8t;Pk YWMf[om䆉_[~w()57JTԐ>!G]gzU "YOUsb#|6ԧLˬfg||QDK(mr~ 3<ə0W΄wȣ ~^^m `12l6rq 8GSdaD(B^;? 7"v;H!H;I LMk" >,| 8Eħ/(Q-LVd`d <\¼j+zBlɬ[ru6L<7,5D}n uNC'"b_Q^Cap'pq=bMU 3hZ&=dqd{w*csFEvoUȀee r54Omd[Jel "MĐ#ҎzueNaGUjYMGŕpBUM )ـ9 ˔,o~Tno.N0WA[HZ %8? f )6/T"KP'[FƓ[-lwd?&GB&kӾ=koZ_~ft\8Bϭ puԛ|O'GgYZ7zXZִF! .}]ŗXiɟLZ+Ǿ8T8w4=@%S14VupgON;ak'.Eڡ wziru! i]1ݾ룠I{ 1yQX@yZ?\[< UuWe5J8C̞6+My}'Ex!11^bˉZu[ꭽ_Ss})%a#ClfU岋;@%2lU *GrDJJӆ7'"]9yN{HMb+\'>M0 7B,';յ'vA܎ڝNSv[, , egYZ7zXZִF! l ]ŗXi%;nQUo,E8x%ˤ`9<"o)%RYGX͵˭xu3kǚA.vtvGUˠT&Vs]k`-`nc8 !o~ ;}&` j*4s,|6\臠 [IP:J y>_Z$=ÂDw) b&0(1Fix"sB@ @%_m8u$?hpu sv!?7; 7 Algebraic_Numbers_LibEP*|M,8?fuU|S4YP,X`A FfQ |%> G_fI#eWuOS$ҷXB˿&?V7MfIBBxMVhGbTzˆmD'=򸑹B.[ࣇH5J^LQ֯% lI.*n{8e, >O:znamK0ZfxS?zXԃu}2ܰM Q>Bp'[u%TTLJtr.NsH{o 23g3e厑;sKo1pmUiާk(Xw >JJPA5[;i I}:k|b:lv_=( pZ=oRS3 V>\EcLzXU%|B& Pg[TnO] Q#,?wQbg\_h ~8S)ǮGu`1h6"4 GaL*j^4R QG(fLl-Pm[c45R4UTMYǬ c]o~eBUՅ9RuRdK̶\29I0/XGO%+_nhZ QRlkg6z̫%CE=t)LE+R.jJWp-GoWû̃ k1qYZIܦjFnJܖe!m>&Hv' 7N6ezyrMƔ8_ҙh);h:y/b~,pZk|׉Ɂ7dE0qc{rT}HhкicaC_M#6#qŻ~dW"D ^$@OXUR֬`Br@l N)٭WAsYmJ(al;z3 &NH]i ]ܸō=M*_jnF-ml/Le{yapX=I2\ zb& v8oamb Y(!4JexɚvvQpuD)4/qMEC' UĎʣ1eW}ffAw)jwepA-OӽjyҦ{Njpw{C3*oh%qFX=իQp^f׶ר ;)C73HGK/%Q˖r"5΀ vBRD+*yz>m%īty ,:ØaѣѸ;Ϩ"B8onu?iW qv7{%e Y}>**iK+K!쳢'\n ޑóOh'!|J-%bmU杣"( _6 013p#]5uKvJsn@)-aH*qVpNja2K\,Q&MF%&wʄIo^?ÛaՑH-͐9xr ԍ0s ^n-Y>MoG y!tg(ݵrbr9%=JR2Qokb>M|ܬS:3H>BTVbP84YB T{U3B4A@wGJ [ϜO؆[XGNp{S<MꪗD2+52\R n9c148K"QzBVچ+gxEIJ1&RS uߚC^(1a~^x9 Pp cX~ڶFh'O|!Vc,ͯ7;%GyL {lgGtWWލW$mWd\[[kt?^(a5pg\"`A*pխsK{;RngG} #8?|P2l%qxTì&Zgͤ9pY6|_/Q.Pڈ!"q;hW]-hfuՋ.x0+?M( 3&*)9N(Y0jVYq}NXqł`K~SkZrQ,j}-N(չ'>R6MHGUWnt_^ۻ6b𾻧Cf&L gO#x+J46F !K$ @Basx;F_Χ;vrH-IxM0Qĩdڼ ׌BٺUXTLÅӬ`\D^ ;hV !]8y.V=<+U In燈Ihp71W)d53wQI(1}7 ?V"uNX̘я& Io5D 0%A7Aب΍R$e|n4f~T=OE-L|C]}!xϤ+\(4-aK`1Hw\/瑺֜/Ԇ+h>ljG$&C/ڀbߝE=%ehrw@ڞo2E[ ī5u MRb#½4(8++MyO= L?[#>A 5p `rڶdmBIv8C3Ow+L>ѝ@qDԹ)"O\W