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 bb t<< ]/]HOLCF:threads=6elapsed=12.420cpu=38.956gc=2.492factor=3.147zXZִF! )]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|cN>_CPYgtoB*U1o z6䇹4X]?r8-_g>lBX5(ӑ`J$oN~S$0w3vWlLj1Cj}nV1*v׸e΀Ld xu{4779(4?)6p"p$ 0rXZESu0>ك3``w>WX<U> /!PZyHHđ9VuFpgtR!:|* ׬M% &>D<XFU-SCy ןMt*l#QG7soYM: >v'sa1&=]ΆS$;ǡ-6L%T7H5Ρr.o/&fyP Z!54w̉WfM%Q,RO+q׏uPH0>CXh'{C'Rq^UQ)8S>lDNi|fmn4Pvl* N[ }%GQ 5 Z ΧLfCMQc!`όd+ !k)-g 7(s+ T;w#H&M:wK&旹vgYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]k/Su-ͼ_rYءF, '_xkƱ/_aj=kneު,ԛX6<l1DgT}fNsj8&4ji&-:gYZ7zXZִF! <]ŗXi%>b  K({y>)л<%=vj;GRnpv`./#k^.鈎;slcAEA'P`B:m>/6 1&>5 f_@170 cP6cf2ׂ4s7;n\ʆN᧘&̫e2/V$!lL*5%|+tG䆖`Wd{挩sc.b'&kzBuwg=;Ҫ;rw/Kh贺0֊&u %;mSi[(_(?0P(Cn pކ>j,Ov-=Pt[@,jlB#o8Rr{^npټ E/|(%;X́@$%IH=xyd c<ɤ=ߘ8# g a^@u4fo6/8EBabݧ564:CG+T?~U!B+^A:u)غ鮾 4Msfb5O&xxO>VyaNRolfc\GՍ ,@ $ (6s8ݗMbGΊ;)29jr͉n<Ŋj!ҩWW@,YWRv+OnMd*kpjTNE->m/At٦XvEy~ka׀7_KuR1V'Bז*A}^ު5`!ÀFDTnvPFQ`R-+\(]< WEjs`>7יk5bܣ*z;@K a