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 - LD< ] Lambda_Free_RPOs:threads=4elapsed=11.297cpu=41.964gc=1.392factor=3.717zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܳ >s!G1/\))-\[Ɯ3ygHGfpwviD -e볩CuX(6f Ix[$*8DvS4 {1i0K?&$ogw=@d\̰BDswS]:Bkgq|A^r{6_=aA^0#6u-N/ɨ"([?.S"E7  虹Q} 6kt+5]߱Qf;=P ;in Y]?%}䛪y?zD*/rӬzV/{ ǭVvV}ˇ3yy{ gv[wˎ@9:L7q7Y 4&\%~"W}N/csG'uYrYqqط)an[\ u%*Xe;h*KnvLPЃblBd&?گlv f]]t^{ J(K H3(|efyjl)}"" 7k%= hY@M(dd-gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"U\ov%lX[=/G*~6pŨ6 5ߴ:.2);4Jܪ{y"mr@1 1AjY6޹>Yv,z`{_O@+E]c"Q2SM\.p1]޷M&  fb7lp8Fc mmFD E9$$SҴgYZ7zXZִF! Yu]ŗXi%B Sٰ%bγ#GXUbMxT Rx^S+{V;KØ/E.Mk:b_>2h nHq#Z"3 ՍR:K[Cbmz'[jY"ғ Kp&BV\x+{RR0hQM"p,]x% HRs[MKؗWtch^A0Q<5^,OYnӂ-*)Ye/ctQOci&nݽl<j Wޠj/wN1&}"& ooI2]-kt f{=$j-=Ϩ HLBV*Q˒䆽}J2=#~::!\aw+O ŏfaE2HƯ{@$M৩ M H˱R3 șU]61v45ྜ_فxs7~SUˡ=mraZFF9`3[-ÔoȢQt~Q]=I€ly(Vj?O=mLp|aLE$tdi.Ԕ#1E޿{14DHX:%8 konTi]?slK`"OHivS2iH6lm"H-SOb)Ȏ'FP^{5V5=0/': J? |NVo.H|E{9BS[(CΩL\S?ih^ aV h++\#WyUE{*|2w9}ӕ-Ǯy h%8G`N4Z1,1Ӭ;~W?E kpN7sw