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 8? \TL ] Program-Conflict-Analysis:threads=2elapsed=28.542cpu=52.484gc=2.444factor=1.847zXZִF! ']ŗXf[&Yi]}fK'=r;rIF[=ÂPpXfn̶OY7Ar;^㰬?ifkXugg݊|[0ωEA#q>G6eR'ǯ2't-|KW%TY` s#yMΤ>[ ^41ht/Hvj!Nqhls|F-Gfl-LGZq_wij[^e*&&f,s54X9Y-TF)QoD%aAz?h!|"KK®pZKgd02݇Y7X"Sf`q)r G 䛦%zZqfmW< ~L],8BSO@X_6B$(òN'.LoC=ɒp (c|@ D$s7$H (_ʚ( ~"싯:G.y|km;c^2l"zKa JvQF|}˨q$a&:9/gYZ7zXZִF! "]ŗXiɟ˕A;[] VmTi{RM9%Lb%}!!D~jf)sf Τd{ߩ[jFp0?7Ӧl"NRHd\FbFN\qu:]AeN/m^}rI *GCgaoK-(C]%  VHWW`p+T&g,-β @ Myj)ހ0^*fg-KF9 ?RV-ZgYZ7zXZִF! ]ŗXi%>gIXyG'RR L+ w4)zgæ׆w%gfscl#(m>q)y3 KY.̭ob@u`$aWjLn g 2ᣱH7Fp7Lk@a|F6913?S+@"Kz;6Ve=ܧA9}eLE[,Ho?+9GJffbG/w7,sG\LaCEEnvWGr?B;]m/#ڨQ:yD5<-":NOnt6 53DHB%<ۚLny9#RzbGxWq{<H W!Pl[UF 0ôcn(rrnx;BْΡvD~+C=w9Ae!l%u .:}뉺[ "Cجzb&xA]FLAaٱ#>;>(?,4sIھT[g -QZu9 6|L&RGH+xϝ i`Fqcʆ*hl|=3Fo\Inٝ5SYU6Y^ߥuj9JYV&yIތGS5X0՛0d"~IZV*Hb.OUgn)U.evQMZ,$\b7)&AǩvR: }"7G^1?,;~|'4&6{0RWSC#2&%eF {oɵd"c d -% ANJŮـ7ҭ慕;doMD֬xL|kc9S8:&B_rIe)h"pކL Bz]R DtiG~!%p;J1z?c 4=RZ*{̖`*9[Y!F4r'-\hz"Y:X_sq/z,#Vv&j"RK0ɓh5{k:}C-%Vu;@ErxffY_b,Mogw>r؃b JIa}F|Ԫ{̑!|:l^ a˦W:?Ĩ(p}a`sY|E,yÑ wE@!PY>gLk,0!-E?BaBJʅC/Ji Vs6Ԫz; ~b=HQT"/ϩ&RdWP0:ƗQtic,O6pk+Fy/ÙS‡I 9)ׅ &Ӡ [@zv*k@£\=4eCKn@W[me6S\\V&(\IK|vQ6`ħ@$1kltTPd׋E!`CFK })9(n2~#WMK EA':v+H1r,:ҝW_E:b9fMݪЪ\H6*cn]¥WQ^5*?X c`rj)>AJwo!kbç{.OHo +&?SZpTIGQ @V oANgQtL&NsJK|Z/',ɜet'Z>P,Vv$sO(8> ׹Myr ԭ [?+^Ŏ4T%)ŭOK&a9nn'kI26gaGDs, 7"V~ӎcۄO!v[-u>(ծ(EŽSſf)ǀdnJEpjҌgj@/e"OpE'9+ jU7O vQawd1#lb45|dhgYZb676f8894498c5066164fdfb50f9ffdcc1fdf7da0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 ? Program-Conflict-Analysis