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  1 ,,, ]/ Finite_Automata_HF:threads=2elapsed=18.396cpu=31.292gc=1.376factor=1.707zXZִF! O]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'࿟7i:0QZYY HcÃזbC,'ԄӁ*Ax )v.(#2JE iZ7_ʊ 8n/'|m3ƏX{ j"#i~Z+O0s?8LCW9k]JdtomyN-T<~% pK%'NYrPt?E@@N}L ݃㚿M][9Hǹ T^sq+E |cʗG5H¨sJWGѽiCݱ"_C^휑n(j&0N bKv$4)"$ף(CrlAW+HEgYZ7zXZִF! gM]ŗXi%>g_cOX#s3%=|{S}b-.Hf?Y|I¿Ea쬷0ƅF[^!G+U1KVއxEs /Ѻ 4:@8~&3%gb ua5z|¶m/FRu4ٖ=.GRQ]|ihU5QQ֕ kmX +qӦ؂B&D=-EśعeH>$v-ա_I^0*T*'I5TS6`;*m:Tu>V>ge!2էHYsB*͔d |u)U)AW BK ݒ|r/*dH)P-\EU \r'@ma?/Psi pWDkiN(#"P-^Z5$1׸] 0 4lIF7;vr>g^+m.$Ly4).SZMBӠg ߈^|DSդ*tf.t%BMOADoԁf|]l’AMi=&tlsO-Od^@,@oMO1DT+)} 0lG0Vg\gЧxIȖK9mVA=u6yzѹrtɥ yAS/%w)ҐJ5E:oSwA`]}bf?*A<lI QMFɫ$ y>\MdXŦ7uQ*چ 8uDkp&&yρvf镄c*0Y988mvX:y=1(ߟ n&C, Py*^BVuF6-jX޿cO(j%1-ݪ+ٯV 鋂]n3iTURkT0R GO.#GsF l!E!)Bv1TpBj~N4-'XؽYٔhdzOKpƛY3\DGOߎ];E_$9Y\VPa["P}oK}uVnF}QB9 P2S"0اĻ$Roin 3ܕmUV D9\>j.kMN]8N*BZ|P|P>:J~ |(xZZ,vS sRlޥ.Sł5"ʬ~Է~ӊ{k9+q.7o>^TkЛ$-v\VFYMOu";R쩸o_k:^Uh|