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 `? lT ] Program-Conflict-Analysis:threads=4elapsed=16.135cpu=58.488gc=2.160factor=3.627zXZִF! a]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaȱ+WcѺprӌ0 /IA2w>T9#BCq1{m ㉦x7jHU aelWvO%E)u^^p b&kAlLv^Q&p!,6=$cnScT/gͣhԒSŜ#׍6=QWk x]?-gh`N14 xeSa2zux/UC(J_!*KPV/> <e螫n݌͵+qTZ? Z3h-P3 P f .EIqN>E]z -@ ^#KSqo\oΉzQ)b P3iv e39pJǦ@n2Ćh?۝|T& 8@=gYZ7zXZִF! 0]ŗXiɟ˕A;[] VmTi{RM9%^ =C>+NBiDͻϩ`HYܱD>K59;T# hE;H=?}Gt?o$w%iiT:ŸP"1oB9uӲDPqHsO)YF, IGMPV5P^n8ǤgYZ7zXZִF! w]ŗXi%GgC 722lv(KhfLxIZLmr'~ZMк";Xw̎b9 INhmioh<'7;ģG0E4 uA;dV]wD:{ÏHq2GzL3)`,xӇ1x5"Zܰzy2G 5(3-z[jPj1U1UnE#iuj{w[z*l/%PBStB#O~ 8Qدj(-_#2j*0}Sj"Y_ͅ[v$˞ Ql-vRLTh>cWEE](Ial ӈ[ OP*Y~sіgq I1%oqkaO<ŎN{)hOSO!<0̂q^ou`P J,ڏ2/al%Pc{;\2ٮ: zKIdErݵp14ԁ0)TᬭR՛>Y[C&:=͝Ĺa@Э'wY0dyaǁS>t[za8<ދGM]n7x;uSϚKvڝmOpx»ɭlS2ZdLgq'5T٪]&,{/UgMXA i[h>ʕZyL@K٤ec6LedW{74L8 Dȋo`#_*gԟ ߅z8Go? 1nGꂠkT̿sfCF[ rUAҍjb[n|Z뺖c@l+7``qqf0q/מp(/Y&MiO&Y.ԬrzFe>(*k {G>\%_ICsjz0|YCf⚃X-m*8 Qܥ)kU͡82agDyBt:Mh%)QU945S>U~E0\4ţڿZL ;.:=!nGDx`.n(P)Sjx:A!J(t"!7Mvon`i)؎ k1۸틹A5ql&B1 4d;G 9ɏf$Mz$BPMͿ 5&z>> xB~D>A0!?eU,bܢR)w;뫄퟈jEUQqČiyã2sE:Yg|b7gTa̟fIv?$p pg+G)ӑjk} A7@qe5wnglnF96XTTxM ۱-h]_LJWw/wr?穎'| t,j\O@9m4L _m&TA[vUCGE*ڢ̀acľP%."t~rU} .F"G@HJ4X'Į, RYKRǃ2Yi/1cfб$ɼJThקY3 ɝ@51ڥ6^O}}]V Zox\YR=hA PuFFA<$+LISq;1gYZfddce0818a9d43b20f276dcc1c60f4a7be1341921795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be ? Program-Conflict-Analysis