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 tt  $ ] Optics:threads=4elapsed=17.154cpu=39.540gc=0.772factor=2.307zXZִF! ]ŗXf[&]-~1;UpVω eïihvJ+N ~e|ۍWڿwtJ-͊0aT m3hH|0lJX}mCaCh &<˻  Y[Ӱ{ThV^2 Dhc =DE$`7E3vsu=ȑEXWn楿[uUV6!kx 5N nM)kt D5?.c1 ?'>l濩m ax^y@A*/z*|X4?־%N0?(G^iՐ:է#qyeAr#5.ae:Pv& R kC>0~RH.ɂLxʌk0GΦG' lؕa2[p.{YpV/`ꌎ_ye^ba5NH("9(A;΀B!rLY=_ˡt5V8lde͒E _HG20 F8L=:Kƒ -cxbu .@8$RTz^pk #/$% dgYZ7zXZִF! %9]ŗXiɟ.x<3,6g(8/g)_hMMV&=QA^8yoz8;% Km/#VUHh\cхgttK$<;<ØR POkJXכּxEW03wo@ o/Quliah &qVEk7%&UG: N &6@L*/x0mz\CoʹlmgT6^;>EnK'fхwjs}1Uz1 0meڜ@ugYZ7zXZִF! w ]ŗXi%B)J ЛSHLAsr1d\]"QN. OPX,ٺqͲy!uIF73V7e]Q HL,9+8G7­IkJXbnЬ4IO`< Z_퐐ҳU hC v*@{ˉAg/hlqCOabh/I,7hP ,m[X1)lHa`Ҟ<*Ww)rn@w Tclɐ[-9n }Šrk+lI> d\7>m34:5BS!>R'-:톁8UO!e’  I93j=ߡB-X&e0bQ4{{z]`Nt?kI}-;lO-0*C!j]#ыAq.#Gl|&*v ӫfPVb r:ꣁσl1#2$L*3hgORNcxkW&=^FNu60^+Wrx~FEiuۣ֞4l &xutrk11 q Xxi)c!ӑzuIX*/NMdh*ΪOyCq4=Ddm4 BxV`lh,T٥b3Kɱ?Si83'Wzywsv8S v^/z΅GC1O}M's b yl!inPB1֌$UjOK$K/ <  \j)7ejXJl$@FyqgIO,%9~AK8&^/18߬7ogYZ17ac29f0afbb5bc89b70e4b6363f51ebf7a4693a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 1745e98a579d3e23c21d60461471bf37f678617c   Optics