SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   q 4D ] Optics:threads=2elapsed=12.718cpu=20.208gc=0.436factor=1.597zXZִF! ]ŗXf[&]-~1;UpVω eïihvJ* :M jBҟ{P13z Nx0K``󿘉 > VۍgązD$ˎ(4ufI#jР0O xj򳕌:/D͟=+ZQÖR.n\18mv(xԖǍXz2!94$^-Sy U@:F)$r5jlYXׅ UL(dAUr.S[PɲnH4xn ?{&`78T`%sg~̌U]\p¿gYZ7zXZִF! OPG]ŗXi%>gP*_z 2HgƖeP2Ç6Ca)Z>SSkL {p)Fɵ3#םOQ+y'.Jb+1&$hccIָFokZ7pmna o#? ^a!Y~xm>(nG{Z*IԠqB΁*^^=h.H^> &5iGPu LN?=դ8B_|o>pfŬ'( 2Ǜ=PS)~ Dme3!/6 ` Ayzɸ&0;{̐*>[0!Hj( 2IDB'y[s}'tVlQed!^f&;s:/? ۢ;tGQșicR5^GDCj9 {$ !kogý‹u +d?L`:w)+huj/5N(D|Z}Idc&N jbBVr w#"0ZΣխgn4x n͍79o FA#s# om,v˦A ^_Fpy) e8ϡ/vL1 ᝜=!@H uX/oʁ- lxٛ)0"#ǿ!-5Q@ RWܯC#E2]'7H5xJQ@'Dtaԙy;_˭VLAq8_VP ddb\kFlT08t:D66pKf(֥JUўwgYZ61f494ae7d176686714e47df543fb30cc23fa9960779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 956810665ce202a25a67d01d05e9beae7ac50ead   Optics