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   r |d ]]]ZF:threads=6elapsed=12.508cpu=45.016gc=2.920factor=3.607zXZִF! tC]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3yIזr%esWP r!twNRƼj;Ekx\Rl#3x[ƥl0)+,<Bϻ229Z=a@2n8$ͷk3 :#"쿱VwԳ=BڻTuBu` k}hYE!*wT|V'0{_ ԯT3*$Ia354fn~[2+ɑRvW-i[v7&.?wr;z^-c ]_r.v|1bSXl'!̛.v&#a|W&5)CyH[YO̱Z9/qˡ p#8s$ $D]fsڤ~(q3J6$`;XZ/|$FdE:{m:,`"f ҕh&S`s%ݧҽci%s2 Uò$$UcXE\kK& ą:hP`+aXS*)HG BMTŔO_rj25Ư_A7KD|#b:3LPERX8T~D{t gYZ7zXZִF! gyݶr_H.ø=fBt23]>'`׎s\ NU9".H=fJBvk~[/kɒVyΧ8#d  nX'Bٰ属L/O[%8mL~ͻ/ywxQ~@/C 4;uX '̹u_X& oìL9qeB+lqE;࡯Ȅ}&W[.iiUU_ܿb!j\G$ ԗ*e4DmZiFR u8ZpٰnAAAt В ?IX 7hܙ QW^s R{9Uڴ Pa^#N- xљg 2o[GpUK޶(Xasd_>1gx cPH_: JyUMODwvuY=9!vgsgڐ *yѤ;rJDvv#=P*%_框a(I}5'5埈ʁvt`a^VIڂ!ܓ!$CGqQk"5KlkV׃yd7z]@ܒq})}UT?A1 wd;_G*':ҏ>شc&NFÈ"+BTNHOm m9j$Qg!]_|E o4 'q<]$ 5~=V7^! &{.CCHBω3.NgoUR0O 1xnx@z`ϥ'ZUܩ"ZÀ͢9UjMy|9]M %L֌-˪*fST+h^ (_,$@USHujX"/]0:mɊ|#h6`/@6)nx*of(Dt;~z)?wTWk|1V(S1-j=