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 XX% l,d ] Optics:threads=4elapsed=19.431cpu=47.112gc=1.100factor=2.427zXZִF! >]ŗXf[&]-~@ @9$3VV clq')Nh&18> N|g7UX݇ ij@c&&}$pH#?äO1k vhH4ӽ,տrʤK2wOOtnAl"XL()\Aa^g]=vFiG|MRr2^ Y6΃AZh6\"PcvUYA!l;L&t!cxc![DpE6'u+"GӤRtFFrt]6vEpohCbr#[!mzwƒ؍5F)NSZ ҍ$fMnRیX[1ҋpv>+$E&jh321Iv6J(6SD~Y\9FHz(ڸY@LrFx6AYW%`m<GO8 hxߒ50k̲2x) ^Mvs.1YCՈKmNhf~) .@s9qw<TPgW+ ,L"[;mX)rN:2=/+֢'j4X-;w48CD$j";SfD ʏxݬ|CTDuH_79<}z@LS;rdQ]idyz֟\1*%oΔG)'QB̸zHcW lVCC).pCʣ񘪀$9!pAǷT"xqٓ9*U7zL<8F4$K}X7(jwKkEP3GHèCGGu5e,@Ӆ,Ɏ[}^R}v[ }z{V'J Jc$-yUHVxg\$m]j `/&ϕ,}o[u_PP.CII 4Os_`i+;(xN.mL=T~s kBEp(3{'IM?XL_B=tmŮ KצHw$_'G࢏Yk?Rrn0v,;MV7>Ec4L &=QHwیMf28ٖ}eU"u%0I6a[I1'6yYPp~w6]lhaOu; 0"hV PpCGlB3ʭL.6:]Iְmn>/"m"㹬S?p/OjYyVx$~rԈ!"2υ}LR?BlrpA~gmY6u [iK=x-?kF¥Tv =[ZjCz#Oh)>֒pJ$!j( E`?c2SVU xFd9~+../nzE(ʾ4XHLe>M'X1每*&S OE9!7K8$l.L+YcW$y_@]'B;ZR`TbͫY}bbqgYZ89b4ef51856c91fd99e9db316b3ee3132787e0c7d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 a625b2f6f06ffba78dcbbaef1895d5bdb7ddf964   Optics