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 - 8$~U/O?CLЩֺf#[\qeTh8@ rd \rW: ;Бx2IC!OnGy;ǔ0A3ܶ OOI_}6j]e!57܎)*-+_sXq 4^S/ Ĕ|8ﻌU؍[?ձIDѢVIɓ~yD[h.k6n:Xb%'@#؉m"ӡ c6YZj9)qxfn# ' M<DmFG hi|Ã. hg[ƔG,zB<Ʊ cg {"їO|2 gYZ7zXZִF! ]ŗXiɟ.x<3,6g(8GZz&_hL] ?{ubl-`|WPtLuXtj,8"^,Le'KiN{Z*;bay3n[ؔM EBρVz<5B\24M6]p6 !s7T4:I"^w)S.ϤSQ:{w/1p9?ޛ M::y 1yGf.gYZ7zXZִF! R>[]ŗXi%ύw4g|/kLp,p^$y%%kV.̘m#M+e=+^h#֖&/6tW5y Vɥ 4Ls\,dK}/$W8 }y7< L.IbqpY ^ԡ1e' Si;b>VK1(/[$⿘}\^}wsK>qKx>J8󇧙اs{&l\[6M Oīxf/kBjN"`/!99H 2>o@X)fRgG9H&w S_,xSe(0\ݐh{òk>@ +ɵjd,ьyDNi|d;9=h#9L%O"@dݡ ϝJ-}1~{EFQcr25Iʍ(Xhji'Rʏhe[b %}u%K ڞg1ݸchpi+Tַ iI.`%*ppA8\_VFu춣;@B1/>,ygYZ2bcce005d3df336092112d3f65c2df271403f72bd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 589cab8119fd4567cfa18ae4cfb210d6afb2895b   Optics