SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 e lLD ] Optics:threads=2elapsed=12.807cpu=20.700gc=0.480factor=1.627zXZִF! X]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~ԱmP ӚiB7}Q 2?҆x:rs|^УWftFֈTu5k3 Ps:n V"r\VKh8|Da;JמQkVz^z!b>7,ۢ3,0DC;F-yNLIx?x+Vl|2'"/k6]c Y$LzPUj`[KBOA*1O,!( G/+ɆpæJRrp_Њq#:oc(,8t2rfciLz=t!gYZ7zXZִF! ]ŗXiɟ.x<3,6g(8G+pNoDlZj'v($$t嬹UT )js?uˁ1QbNxqKQY-9wYѴhviPlHDr@xPEs8-4jv*\/l0gj`hSb:_ިP;#ș鱄Vp+J 5Z ZT-h2ip@2}R`a ohǥ$wzrz:uI: }fgYZ7zXZִF! LZ]ŗXi%;+RC)"snbhq*{_8u`,ƍQңzzHBF$8PU${YPTx<TTJhqcQyA~:f?0~- <>؛Dp+v Q.uf̣?UL0K!#-?Өԑ(%W7%`&຺J7 FV ~zakpsJVI%}W3z?cά g6,F!zXpvahDO&FK,/қ3;xbeכ_|$dp$([okt>NuHxޜ9H mt3_F/ųt[,`ǣ7^92Y\mD.$%Nv.|ñU p}#KVIֱF%[M5!\ϐ46d[+IK[qfŐ$wI 𾿃Q×ApqK '0Kb{-/|oy8sЊ 1&k^ޑ#'6бf F&[pkʐ>v-Yx߼BS A"v IT)''5qXf8\,V.[S~[N@M}Q*aVTe!3=K&%Q2RtRb4Ol\ SG%OmUC]-! g(ھ=Rld(N;N ";T#]M5WmJ#&GEͧӟ &3&fŘ^% [ 酒U<ᤷȵUIe>Ԫ9'X0Vb>_4a{ j8 N7ʄ(*L ۋT"btǭ a"H"ƣHvۑ^7.{.rz6K!71: ɼZyI4S hl-2Kŝy6wwJK~P QA"—>=P3WOXvE"}IXr]8W{aط]K( -dd,.lpݥn嘱gYZ977a6dafdfe6ffbf8bf99a6c9e67fd0d0af5ce31d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad 50dc164d1e004f57b88b7ae5d4002da5c73e5ebb   Optics