SQLite format 3@ .  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 % d ] Optics:threads=4elapsed=18.430cpu=43.868gc=0.704factor=2.387zXZִF! ]ŗXf[&]-~1;UpVω eïihvJ+N ~e|ۍWڿwt+JJ#e_d{55܄p\?Fj`n tedzV=L{뾨26vP_}#? 2/h`y\~/nj,B0dH /EPV_'*r \ _My ɄBxN ƌUvIoc |6s.h ʋڷڅg[]] oPCˊfݿ:^8E`E" !u9Qu)6+e3}rPb6=bifmML+ft׸j+CGq@;S].u1-5bT|X;"/UMmмX=V;J/_b8D jɰ)B{Ľ3'|KP;a ^?s9~M} 鶰s>Ђ6Xg`~|$hR ULv>YSZot+B#xk#No]skiCgYZ7zXZִF! %?]ŗXiɟ.x<3,6g(8Fm5U3Ǡnq1ܰ]culQi,WH9bi1c(4ےnӞJw aFkZX>*3V)ĠF*T8sPu%tUo8@9 .w]RʮCʿ$p +;#Qns)niCťt g[yC^_?1ⰼ ~ # J@"J."v;ԧŵW6N)!#I,+%1_T6:0|gYZ7zXZִF! R]ŗXi%B âHVTJ51cT!*(VWM8C:z3kvG;2} ]GM3Bg XՅGh@kY .雳-TT~ѭO/iȭU9|^ĕ KDT@Ӭ="g#&kd7]{н!f03kd8߀byu\K9;C+F #=ɖj= 邼n!Pct8yEv5쾂|xaVЎ)k…/8 CC=/UTu՚˜k8!ޥA"k >N,D8 d5Kq"PpLv}㢕Z {%{LUT2+\9$Y8B 9Ζ=eޤj!8d白'T?̑*Ao VMfkm=!Ճ2CQaNc7!qǠWLmij井8+^Qz<YGTAFϵ% WzU=Nsb%W mUG YfK`aĝ<0 MZ'Q2Ġ"P?U9`$[6%EBrWx%~0ǾSò}ͬݺ2/ R\ CӃFr1cYm v .Yo 4zA&$ԱJWXLMCɊw_ŰKȽ@0v=wJ*?]. a!K"4gX}xy!2#-\sO-΅9Gߦw& K4s(}k8fx[;#V۾]g덺4/ҸSw9"".K26ܽӆ_gYZ957c19327c84d5c307a08d701444529992675f43c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d99c48f1f6668b82eb6745d91e022cec54b4ef07   Optics