SQLite format 3@ .0:  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   r D$, ] Separata:threads=4elapsed=8.597cpu=29.960gc=0.588factor=3.487zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DA]à3_$ t<2ΨDE CRn@Z-I%@)9[Ksz+&toͷ;2*1gq%"%ei\WQOh2}'c.Ӯ>'Z2d?߻űo%FC]M4O<#!Ҁexvm Jc(9{P VIDPUI q4tF*b_oԍQȱO'&ѽ~^3r¬[lj(K9I^6ۮJ^F]AnqiPy(A6ɑ) =wUעwO^ԨD_gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoU651l0 bZTkL;w*)Uz[D T>=M׎R5Wӏ K"lRFC?9P9)i gYZ7zXZִF! E]ŗXi%B:gؕk0>MZ׾(G.J xFe˧ ǚM2cЂ-+8.9p3_3@_F!HiK+܍&sSDڵ .  :V=aBLˊ?H_g }K&J $Ti6i I\ ^@M≷b %.O|Wb 1F)E kvz,=͈ ]Ee ] 懇piUZ74q9|4,N) ycB<jQz.[8,ϵ= xe€kb僠FrqTjRl.;CgKrC姘`8]{JuK҇MN/M &0>`Bxj, Δ]=#%x8wN.O5ttcA6Jw;IV}1io!5!L4^z|-w}Οc:~*FQi~_ʈƢxyk/#.B7BoišԾ]yifWu*w󬷑(sj:wXQl+_n.Y?G q 7u*ND|G)9D4,$=u>XcZ61UxJj$,&2~ݿ']'~-ԧ^ L䇍t5+F Z.22f l(UXF'JI@$ ]!ƹa*dl:/gIJ]=kϤ0IoV=[*znIi  #yME>`m8pR_Q\=Tr}h`} E dBh:sgWI&̸i,& txNP9^^_t `499iش2+}P[P Y+gYZ8ccd177a2e401929589de13bf16fcf9c58dcf66e13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5   Separata