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 & |Dl ]S IOA-NTP:threads=4elapsed=6.819cpu=16.236gc=0.572factor=2.387zXZִF! #w]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_}R=x|U1tSUgR.'mXlr; *>^]WPv x|P8J`rtN1M&gOy[Z%=me=_IWs77G c6c(TǚRϢ5+$(pqbv )Hƀ+9E_d&vf:;J8Zn+"B۾\杰!fpZ9rd߳h5+@a4RL+X>>B(%N ];ѳ|omE$f}@|ܱoxOKm_vxUpqO!ƱgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz$5+97/Z~g3B|:7h2 3H8oq!a%\}lmq澟iQ챔upS/%^5cV1~ٗ ;7Ѭvd=]8\s.oi2t7 4G5'-VGf\\ȭrvTv_cj v޷M)mgYZ7zXZִF! &]ŗXi%B(1ή*jK蕽y9M,@J9W'{Gc74"%D{y" $5їؠҹ``#(զ.zF1FoY91*& É|8djǵ_qZwQJm_k O/棦T??Y\bTأ= K#p(S# m PX{\>|iZkw/m7ꞹJ@l ip]ve1/ #]CDec)-+m-5 Nu"p~ĎBg s`UxKdۻUlP^5z! c<t'_!be_ZOΰH6'uJ=|g}lL|)3zEsӴ7? sjŰG2,8~g!5j"VSPwp6}$; 5 Z^EEFq= avQ_ y2?@]."nf y}COqcɕ h滟vʳBG|],AsAnpW[j}“<$tłFƏV=66@-ĆqU#T&MZyf-C1 vY xڅ€2ig8ZK  N5J~k(  ppAPݟ9z)0 o