SQLite format 3@ . BBh77otableisabelle_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 DD9 4D, ] Optics:threads=2elapsed=12.735cpu=20.816gc=0.480factor=1.637zXZִF! ]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~Աd7n(c-.p2;dg>u:my2[b^!5G\)rRC}'Vo b0E`ͼ F3}6JRZ F`Zlb79EGݥV{qx WZVN c6v.YMK 諽[/hU\f%gEtt &C>NEܫRRNZ)r(7+Øxvہ+ׇhv{a9Y[TOXn@jYRkMyߢ{_"TOtk'. S@GTGUr(ċzWppDYr@IPMgBl}`!򹤮E}@MQy2%srS\!HRqBb _#!mG@W嶮D\bzV3bg>7@6zn9vԐr"z>{v? ; Il!4Dekspo.Ыq+|Bǂh(يlє:~yb5F Z8zrPa4pm~лEx"㖁JO'{eHL&58OXz{Fsjj+ڎ4I/ӕÍˮ5gHritfWK#>)# p/{Y,Lz=:TP}ᇺ<4=T{ >(ZfUT:PXU/!Dt*nDvrϤ y|ZYW8F|9F7㭙#9'4C`Yow\tYx{i;~r:%0ڴH[Yޣj [ϥ^`p ϿpO@IVif@i|+۷SƓ+wKT9ק:R}eCe"|ڏ[ 5ěɿ~hwQcYmVuc?{=DX8`-n7$'uJ߭ڜITIdﱽ"3iT_1Ju J;ͨ!ۦxݭLFcYַQ \{6<.ErH`D+z{k Jn-SSp.zCcaNo踦 WNboߑ͵y@B*45أ\΃Gܸ=12DEdQu^[bnߎ KcBbIppDDeyÿ rdr+#RgYZfd80809961b940b6bab37791fcee3d4497978891273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a0f3993f410935cea87d1063c10df576baaf51a2   Optics