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 % t ] Optics:threads=4elapsed=15.463cpu=39.176gc=0.812factor=2.537zXZִF! |]ŗXf[&]-~1;UpVω eïihvJ o^u]?2EΥUP>-3h"h+ 0bV[jRb)|Lw`y=T2ZIw?;0MM_!|O& ~2) :pΨ~H^9I4Nu9G(vY >5[*l|RD#zUhSgB%<[4f#d<<&rD=C6n6 ~\k zd]x#[j(6cTo5$d%amۨn74j D+jFR.'S9DX4ݜ…~:>^%4*I ";!6{S(s+s#SPU0ـX$jYǼR紎[6xq1#c`Nn[ubf DtUJQ53!la|lWˮŠ pG.Y"@Wcw8|kvool{,F@}8=_syB|rR~@,P}:kx0Z|{qXW:uif 7Yc-^oIḻgB~Ol`1}f YQګjlj!#6;͖f/X5cfА2+EW9 ~OHȇi͆T2/WBC[Z FKRm7;qEgëTk!DN?jK Xݔ% ^քqKGTH㳃Y_w޼06KY w$uJGsUPe^&,8s\GrJ5~b"=ϢI -M'J\'D G(BT!D o;Dˈ_sMY-%O %C3`Ig1u2E70  9:v6zMBGS)KG_Jp7ݘhT9{$\H,حg3KWyd9WIN,kwАũɈ⯊bez,`:g)\W> *P] P]  #WE B2t\. " Xe>h ;{UXaC8 JGGƶ##Hl*9p񳞃ϴ} &=ق PΕ?k4s|E;P+ǥˢ2fϥ1i$-|Y?(4Oo]n`͝|@}Y1yd/ޭHE` ph a;&UTf".Q +i)ub%Q:.oh&PP@[URHdO~Z>ێ%>GbmkP$UTsrerH<2HÈ^rXhu0:u<5ݷݿͻ A{0xh5ףg ?Ԙک,?a8ɰ@^ ZWi8*efu.pi#B5r."qV+# 1h"g)obe D^ qmgYZ8b184d9260659615ba6c542dd847732f3cfc42ea5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d0e2054940f08ba641ccd162b50b5c60961a5348   Optics