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 
hh̟-9ϔrђW߳ {J󒢊"5UΓ&〹n:wIp}_|:.f~`ˌE^kgN.ɳX$ΙqfLuk 9ʾ.:p¿gYZ7zXZִF! Oil]ŗXi%>g`Ư'|+e /Tk.o&'q ^N7*H!i=O*߰of1󭰂=- kJ"ugޮ˖V?d ͿR e$cʨhWD3zHl$t-t3/|gA<A/Cg7 WJsL)epy\ !6SQE̞ m9!Bs,Sc-;u~ď* ^gs+ M.l@DpfVoBu INYcWb}}R8./^)W6xzaH\BVz=v;=svgԧH1R*_ṿk34Èbs#h24 دv\QI)' ʹ%v)fF 0o #̤GHK>QKX7b; t\1lwJ8< Q%o_hw7yьܯk}zfB=ڪBwA&lJAYX*0^VRio8،l6(jN 6nhN#mZ$T~cXLb VGf#B үQV x<@K)gi&s8 K̶% }8.&A2舗g#T.09C:-|"Sp}\TH--!:Is9}U̮9܏R$-8;s% 1XǼs9?ӓ-WmLL߃))V+V# EUQ˱inlj86,Dfi&@>>#Q5V aD[\<C{]h:vE= mR|5 j7HʻCB.+oiHyngt=XF[Qi£hefV<xhOD]_q̻{ ԙW݌b5YO0X4Y{@Օi6^ބFG2N tΫ fxMMrVi6-Z^J&z.7XT m8|R3xF~+%&VހQskⱩ.= P(,3qȑS\ MJ^Rieϑ  %kgYZ0f3b06df68b63761ec7a8401593b2e039cc143a7767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 48d106f8946fbf460838d1a363f87250ef95e1b9   Optics