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 y | ] Optics:threads=4elapsed=14.634cpu=36.580gc=0.724factor=2.507zXZִF! ]ŗXf[&]-~1;UpVω eïihvJC ?N$-/en.aN:5.==L;!g2v Ш4J?m᥆&U2'tNhK:N- Lm."2TAr},%t0:JZ> $}ZPa* 91rL!PݤDJ -!drgtLԳ Hq9{& 3ά|nY1AeSv:jN8ɩ"i'XFƄ3?-HaO2"w_N>&|@e$r!\Bc@uu=kq9 W {58do+"ƌL02 e;$PJ21%^et$To^ǀ)8,{҄xt2:jynm:d9 f3=Wb-8>߆h>"tr^~bŶg>baBmh@r(׼̡lMvp}_ܔ7 uwgYZ7zXZִF! %5]ŗXiɟ.x<3,6g(8rɂpNoDC9NAgDQ;vZ~2(XNm>$X[A(`ŦRT5KI̟f[m/D/_gv݇qy;Υ]^23:KS럟=ֱql[t``J)U2pm:axwss]N 9TԼ{Q2[GC+@r-?zjtd?"1#- */$/yn7£f9# V2>5_eɣn~+MV_gYZ7zXZִF! g ]ŗXi%B۾2 mڵR aHWޏ*jyOF)l`wUXGDx6m_I+3 k4.owr{I<%U>~+ylZR"f>-7mǍɍ[D#g酎ͪ}#qt7~v:pj]QTx&jec;V(p^+@b,boD 4M^㚵L{%NQA}=Ŷt3c'CBYBs-VֹU|pI0I,1I}rU ˽yk$Bq"d8>f؜BE0(ɧǫJ$0o{c0|ZE:}NNҧz?2 5$wZ |^UM`[ #;Ø Fvt?^Y5TOxjlgNNh?{VbɮkζZlpbKkNMxa>(m ya%~(P` 0AbƐWrb{@z x~c9LXg[""^¿ FE *&Yة&d+'oqTjO.D")*T[RQ!fQ*]^1;;.ņ=V *ϟ,dK ?ؽV;!Z) n0{ $8: Ol<1HazK+3zVD% >,6Kj2fIph!ITfzI$;O*^8sKdC62> mKTvX`J}=:SfMh իQαj@yrgђeLQQ@; cV|XLfl迲C_ۤ#|(K!2W!3nH][x@6$=\z}xT([RIu@e➓մ@lC>r7}C 0n¸b!QʞS v1Ռ%~䦵bbQf6c\Og=B|tk 8߸g2MtNJ!E,ݳ w>"fdԖc*OUuQ\oK K]DAc)UxZ3ߧ1,sVDV#M Bb/թW$A TʮLJKhvw;\f /8+gYZ61d3db16162ba826decc7b9372cdd146ba1a809e76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f aa6b1c865f1bb61fb0326728df081e25074336e7   Optics