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 a T  ] Optics:threads=4elapsed=14.297cpu=34.876gc=0.680factor=2.447zXZִF! |b]ŗXf[&]-~1;UpVω eïihvJ+86e|ۍWڹۏvyjEk^G%axez!q$;cZ2JU203تD3|Xt=stVqZk/g[7SofBS8vBq>89$0\֦SJ5:Kca_l[ݿH9w$JZi}y>C&x1ڲ$\iRߒBGa4콶:lr?}xgYZ7zXZִF! %=]ŗXiɟ.x<3,6g(8/sm5UL>;_Wfc Bn<]BFN*# n$ȶaKfYNw܏{U=~rGIʫrM.~{ 3/Z}/kB_14÷mwQQt2a~m6:9"AuW)*/YbEX)*|N)-M֜0U^ގ)dHkeBcb^CJƄxahk lhI-t6X<ӣp?w*'GNx_ӋGHvauRcڹp`x@uQZN4Ho@ăǡ=2\G@~gM:O@,iID 6dMp47=gJM,bwnﻚ %?lU'lzeV+6h$Ya0PNx'lm_xd,C=DxQrr4籝l:?P%1ϋ`̤Ո=}t1T_jLR6WUe9Fqﰡ)bg}%RJA@M<3chd(?Lב\B؂akf%švu"qܒӰYh}i-c: 42z\"ZE{v= Ik+(3$;zI)譆. r ~mWO/^$Cz*ʜOI n[PwLllob/=c;K5Q+h7) ~;jc-nm PH Ƿ!V]|Ȉ|#Ǟ1B柀I! q>iqto_#ӻ˹Fcڏn,Oi]H| &+qcTlV@M#U8QIa9 cwg K+@m}MaFVW> ~ߺ9VufqmBBvqU%Y?R:qls> d iAĸ {*]n fMv"sعtt{e#|!nmD~u ؕ&:CܠIBIT;vza+ĉVu@ϳ{T אtc|2ԫ~JY,YZDgYo^ T X.%qW-ۘ* 9odQ4^&C 8gۀ\>t+$ļw8@Q1L ǁXgYZc74ac94e0e6702535da88cdda7b5efebc0d1745476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 5f4910e5d2dfcc7dac88d7066c011c047fda0429   Optics