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 ? TD ] Program-Conflict-Analysis:threads=2elapsed=30.024cpu=53.384gc=2.296factor=1.787zXZִF! SB]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU .z +FZI:߹|; ss8MpA@G_wK) yd.hhׁSd*۳W<9.@`9r2Q\>2:׮!Vweo'ۻX ssAA'. ^.@|j>2_@K.c,(ؓ^&wt1墷&vWa[vbt>.b&?l2>rߔd=JG l 3+ p;'k3B9b\#TqCo4Is)~&QǑ,9WxR*DZ/\l!TgI/N4j7--6PTٷgW.Cڭ9;=e/eqxD9e$o&DD[ApLgxNba aG~U+h=[ u]!۟PMܢsАvUֺlTh!rA2SQEU o jw@tm=~p*E}v5?r&hȐȍj{2خTT;EbtCq`%*.񟪊@:ة2sؗG̡/me#!29%a5)d3/N6%8p>³@,gYZ7zXZִF! "]ŗXiɟ˕A;[] VmTi{RM9MKj |xB 9fgefPJ~Hʎ: ϵrJa"gHJ %#^m$[7|F?#|]g$T`ݡmNXk#fpx|0s1Bve+2PKęQGĉ[hl^3iJ]/FːMC,ZCRXH(:ok2Ir-ZgYZ7zXZִF! ঠ]ŗXi%;CmcP4Aĸ.g>+x)Rd^/i84 ٧,;骎? e0K&'nfՀ Z хO(NYn?e8m , @MFO9d?17;mZYc=:J69-tɟㅆJZO&J9cHM,P'v[3&WG04觛wb7K<B$nfR%Mtn/jy)VFQAh8rT1FͪnGsJѣǯ!M֣v^(iT~Zӥ݁~:Ur.N'AHp=nଏ 軜u,{KDVY)':kG.ub-wtKO,kBȍw=փchuV6_nɜ [½]C$Ml=kvɤuj7,褐a5Rp9+s_;O])W)SxpBm6Bw+j5 MK%M&i0bP;xӱ;;R"M)f YۖVկ8 :dP~6"D 0-pEz;W}G8G %epo˃]lMKv+]9\Nz}7Cm5޷y|[T>c.ZFO Qõ|reȑc (eq\ԼURnKYVe*7\&(a*`bփ t‚7DP}$J/JW Ԯ}J(fu궰c)7 ]* dȞ/HTnFo 1'd)uĵy)]Mid髩]y'55pd굽͵{/:hvh5N/,OC&Gou}T7er6%';5joWkD1T`9#$0w~_JX˟dߖİQubp~79Re7Ajh273 X!eW#q:j9gYZ6945261b9813af8b39b8cb115fde2b5a49aef35aa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c ? Program-Conflict-Analysis