SQLite format 3@ .0:  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 }   ] Optics:threads=4elapsed=14.741cpu=35.864gc=0.824factor=2.437zXZִF! {]ŗXf[&]-~1;UpVω eïihvJ++cU%1ў \(fX_nz)BF)Ҫ(優1N%bk2Kjt+YGN'sd5us*΍صn"TQzjA6(a/.Ouo~4 0YVp0/`ߐ.Q=%,v:̿+X5m>ʆvc åR?IAŽ1WD-~Yǥ% zUE]J_idIx٢@u)9L%}KĹW1ݼji`<,k_Lt|2#v uy gt懈*$\L!%/@8V|6I5G_5 % W.Soѣ-\ Bx%vI#}]̖ $lXLC/1O'-{ R6s+~.TwqKGwka47tNus4q9r=ހjc.qXLNTPWJ FH]a(Qf_Ym ɹEI dYHV{l̓l?/@{"g DʸֱgYZ7zXZִF! %>]ŗXiɟ.x<3,6g(8G+pNoi` `Gz*?nm7Si`op H+?1)rv*׎.=^e͈BU.q9>R)af]}maSS[Yd^Hz͆.gʭLhcgɆ[%k 2EYuLaZMH~Dq$ Kwd?ϪQ{fʛM 2T hDM,Rcz0=zOI>f:5 #lgYZ7zXZִF! j]ŗXi%GgI׷Rs8r!jiHWiR7kā5-W+.c= GjHa.L4"G*9j!ٝ{>B m3:n:]p&?0K*`LiIk!wנ*D%qPNpFhqݭ[Le8Z F==} KLMx*yߓ߃UU wbYw,Up3|R[ )=YZڃFEN94l]VcM2XESBSͪXd xD[1{-+{%㘿!]tMwli*o[ᙸ$&<ұAGo\>Dp$;AeDH,dPs=nϽ&_?)M![7]ЇTꀕ)^\$cUB"LӉQ[Z+Xк}FqӞg/1g7i~dTSE*0ԡ|28l[D_p4wZl2>6< 'ͧdohi?#fRO )7ץم~2;1JGtS=lwtBGV.TZR5#&:o#swCZ*+^7}-2V8=B W(eS+KDXƸѡCtge(Z␦Gr? 쇱3=ݥ^X|>epѧnq\p[RƜI)Α ykB]w74"U0w[/ߪ::h'G  N+W-/Lxw3|hɚ)]FK+f⶙iI*22sgUa<73<~U=t'gũ֒x\˞DM+!ӫCv5 ?b]zW1_60a$N8˕zl<~c9O/:))cjG;#MUi=x?x墴 ;GتRx΁4}"'-z|p%diֆ}D| ŷn@m jeZ OM>ccJIn|%!.s_h 8`8y,26=PM$#6W\vO_ޜiTJɐj 's "ġ+1uB- !Nw/Фt `,5S\ZG'U$(eG LkǷ |n MW=ڂN( .qfCRGYmػ^{m4Nzn; #?C2% 4z;ݎ~X-"n 29_f]L ^PƲꏨՑKai|hDZgo8wOv"ŋmcz-nU&SeA#`z9? V UHgYZ6525e7d56c5451b993687a182508d3c474e2e18e1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 74df7adb23f59f241997227cbd78c2102c1f1963   Optics