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   b , ]/ ZF-AC:threads=2elapsed=6.508cpu=10.872gc=0.556factor=1.677zXZִF! ]ŗXf1-W'S)b-LWtƺ}*֊GzG'D+gvp4iI٥a<~>y_dųQX<B=>(.:‡.[+Zm\,# m٩0&F{ elxtqHe.f7(L̬f|W:.oSnN EIxvTH!eF?A j<1ݤ ^ggYZ7zXZִF! ]ŗXiɟ98c tؠL\bA1OoN| )gcaP&D Q΂Au|'4@|z"7ͺ)[$ Oh!kr<}Ss~ -kO\5sH.8ɯN\{Qw GkipS6U܇3 K:yV{Ve7"9!*tPtX&D1ql Sln.\1gYZ7zXZִF! 0N]ŗXi%>g榀j\P[.ͱ3!ULi&73u0qfiUq΍MF0[Rz*jVyՎiD#!]l(CF6kq k D_$˘~vʞQÞ"OLi4|޻o_jR'ūGmF0Zh݌PBX͑;*o;B,&v%bx lV ɺ%鱪uMиƦ@RlhMiB0rS{nŒ8}gbB΅4@6\TЙV < 42%7W @r;|}N"+C `4$H 9 a~Ä[%PddDY!NWf-GZqhϦg^B32a O pU6s A s.fJGQH5~<݆yhšls@4L u ^̻iŝq#é4~桑H5Q>a ~u9F;pu(3*fCF'o|/NJEzZC%uF7Fjt1]^6d&kT֔t@h?%g@wo(ԋ vkn;GWM_Nf+y\z *" )5bHm>bXR\OYͤ&S$Q1KBNXOcQV;y,L֘" )Q=AF wե'lhaWDH}d=wzn)"wA)2Z