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 ]] ? $l< ] Program-Conflict-Analysis:threads=4elapsed=16.263cpu=59.608gc=2.180factor=3.677zXZִF! {]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KaȰƵWBk1;&Ì<~>FqVuBO)o/Tsȥn,JD^_.'ų҉oi6~snd8P01E,ijx í0|{ҠxB#@KHp n 1640̞wc8J!v+=O^BC1.SYnVR:N1$" ˕܀N.p@m4Pywa9aYY"`ؽA5= %AtJٿ'@gYZ7zXZִF! .]ŗXiɟ˕A;[] VmTi{RM9%9vc[HJadU0*p8}r^O`XΗ9P4:|/5] y>9[#XM롨4>RoB* l~(LZ![=J'?L{>`z}nܼa!HLfV6c#Z@ƉQקJA(_ `@ݵ&s8Ag۴{-5aDv&,ue }mT3 ڱgYZ7zXZִF! z]ŗXi%Gfur k*9d&?c5RtE_^3; /np;nSMf05Jq';LTu^EdpH?6SC R?. FbKoٽKVH^Bxc뺠2O`5HxN,U~| Ռfìh] *pYb?xDZ/uؚ5o,"^ dutdD'hٷ~,7bV3E–wᡶTP+\8VuB- xc:"j`chN{9iqkByo\ #3Іa?}^^`^hchۢmoadW34Fnw-34#y|u.VUǬt/ ]،Rv+!\Ȥs)M,7 VW4Η%z Ɨ%p tTIaQcC'ByO&>HOeZbVhBQbtzj 7~f{a:uj%>:wqaV9BRI#?=։ kE 6/Ek2\]լ'Dz+z.%\Z[D"|j:DYP4+K Xʷka]buDhl.NU0nLQ}V\AWǟGy>=-= MM҄UR.'.H<`BK)i**7oB_nj*p3p dRMiRm8uq _Z4T\VABeL5S6MW7翸er騽gZwDӈ1I4"\W ]ɅĂgJ=at/;HN)  rq$Nhy}?g̐ ̣ dx1Q$V5FVecY,W݄b"*:LS/sa~wqqe #d ꯗp Tov/©%$YX鈺i7SVUMhь ) p3D&E"%nC{wIS8-ƤLbRF}wfg00kLyiLJcӼ|CV5u_ T"] l9(aBî}`rnobn[d8;KF*S1g:p Î眡l,gYZfddce0818a9d43b20f276dcc1c60f4a7be1341921795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 ? Program-Conflict-Analysis