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 |? dLT ] Program-Conflict-Analysis:threads=2elapsed=30.177cpu=55.008gc=2.340factor=1.827zXZִF! ,]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU  =DqJ-!0MPJ֐?pdY4;MJ+6E2曫$b˿?W HKz)Y)1 v' *) l *.K\.`@kx\HEW^<z#do6-~6Vc M0P"r}xB%LjMU˱ ~C6 '*~$S_2"1c{5iYop\>B7^7T~*lQEMokSz|ԵzjEU*AY.HazQZװڕ+f]U ^Xd\]4ABW;n)qg%\<tW>FS"{੬򅵋?2RuӃP&sm}wZ`Qq0U2j1M$%)])bjɩy9WKi29$+$zf<̇O-p7m|p e~Ax.7=AI9mWe\?vqYr:kB%Joꥏx[ x9 s=|[FgTg:=F͟gYZ7zXZִF! ]ŗXiɟ˕A;[] VmTi{RM9%^@ IYDôLZiO<-WX9WRDjEbY8Y^ L"˫?vpu87ReUy]®n:=xogl%L BNIy9HܗA|f8A\9O2"_C.e–EGjזAaAɃWQ?ϯ1:a|3z::3! &wú8N$\ gYZ7zXZִF! ঱]ŗXi%>g5D|ˀ9ч|Gh$X,`Ը֧n/U;".z%q>;nl q=_L6%چH 鹸5"W$!ocvCUة l\]7' X\Ah2k՘zYÞXצ$Ojx##Cd' XBn?(9vuԜjfᮓ3 &dT1:SgT8 5=NhnN\;IbpJp|u5B,dC鄝K~ip;a6 a<qy?_cU^ QZwo9,~xP8x,bC s7wPڕE qZ M59~^ͶCi1{?jO2Kg̩^ A} "*īNyd9gu2:{7@oI%1$5(x,hkB1|u@_uo@[l4G5Je:n */~3(&nR b]8ۖK7Ǘّ>4-e,~"f#ʹzyaKZN0iu;PUB)'ցb{uZ#٭h,,{h:4}X"S T&dt(&ǂd;EwA y2U|bF,06]*WuiKf zˎ/6dm ~{FUJ8tXeӳcxDWܿ+eF6%u9nPINMa G v9Wk*ܷa$[#p|q^&ر"3Uz3.vVMۥ ĬRY0u4e~GlmM v2 II5O firgD Yc"ޡjߓ/$)6UD ;3enj1MFNk=%`Y]fD1V8/%0AC;z$m,@ٶEkb%&^_%He{Z+H`L Oqn{v䶻 )RJ=crWz P^.íU2o(lYJ?f}a:-piV$Rlz_trjY <Ҕdb&+%:oilpL?DQ8 kaߓzf9ӫ:J0d LU%刱jCyްSW>_x֌&gUv2*`8&#^5¶sh»zmg@aLlܵ|}ZpR~Ȣnl o+qZ=ߖ8;­4,<YmdW3DxHB<آ?UCmܪn(sX(kwJ0N.Z|}lpJwLC։]nk_e)ɋ*o*1 p,{G2~-+Eޙw{el+ ɳ| /(ṋɞ$ߜ=ΰm|n?o[Kkݫ:%PJ_e[b yN6討;]rϵ7{_z=~9uJЈlGd{vtE: ' !@Ѯ|U:dט*;V.C@c9܆N d攜:7 _"wQ&ޓU>^saIgp{x2 SrwS&