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  5 5@7$< ]/ ComponentDependencies:threads=4elapsed=60.761cpu=179.284gc=7.048factor=2.957zXZִF! 9]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsy;bGmcpK\QVf\)O[Q R ޏVV`L&ǫ-)?E Z@zu#u 3NJDt (ʾ._4po!b& l8XtLKC̜=ݥML/ rZ)Ua^Qxd3:mDtFod \׋L |MBjc` ¢][1d"=c@1')E+>>,p s&(̞8VMhkZ?<ď:[~S=\Q$ٸ܂#ɟ,%\rdZH&a|Е*8.).ﺕToyrOQ3p!b9Ego^=Gn&re`$p1S[GP(T˧F]kڵnC:FJ 2јfޗsgK,N~&-,y}orh"3h%gYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C:F$?Ƒ'l>*I0m*! rvJ-=RhFK=t 0j1=q] luEh!w$gk/i> Xm9R\xgae1D Ã{+ b7s@Է~R UK* 7 ComponentDependencies  @P{E)M#U5')4(W&SL#r/^׫:{,͓oVz TЉ){ះi:UOp;Ix(fklg19{ 3+Ӌ/ C"tVxQ`a Q3KfAbu>otMZ X62_z(,Gt8:Z+Í]1=i@1R%x/ 0 Ph#u]%ɖ%ok;/՚鈞S.ȮTHug!B 7 ^q z?ҔlyC"(@(2 #- ;oU1ٓh`喞r-bmTZ[oCM7iQ%~'z2 skMӨ\`da2YD*/RmM/ ÄQ1Qt{1VmFoB_#xD N$r+vڏ(RV3DvoCھsO17h'υ'uC+IfD_&n]0Ղβ>sizpDm%CGN:{ݫƇt^G2)%#Xw ͸vPb)֒ȃOkc=7i@V(2~|(TIhLN"PZ#(!&ɻ?4V˱5Vf#z٥u3( 5T )scE\¤ ^uyQdrS='}'d6XhebVְ9߫JkZzr03&#M4Ce;7)0~&b"2HCx/h&_Vtp0S7bsCwtɣbےm'ڮI?r,@N_1Y|2mWp. A+ߑFcp鍸Ig_kʴcMJ%޼,=|ʅ>2ka6vS]M ={7G){}Dt8XixlL&1 _Wb:1WQy18UC 4C@p04@,NG_ ӡΪJ4Z+N(>|mes^B7=ZT_`sX*g=!aQ)( y-ϓ(8ڐI1 zn8aqϰ}1-E>bB zb5#zfAZ DfLT6z4 C0g V$#R1A%gC9/{әKgnIe P(8w"KvK2qeUBBn4P9mV)o8Sū"ć-5/b$ЂT`CRvpsi"|})JQ./ s`bR1m?U[ij4Vm}>N\X8vb%\Ǫ.V8, !RdSwSq}0 1~E h;Ѵ8J{}^!4BlHjvOjBڞ ?#L޷%[;;ݐFX^R ##Yqʑ4 PyWB+1 _ YS+\J9$Vv:Ûa7n;pWJ.&g񘶖R>ZЃKw'L=PiZ,vu`9˱<1Śb8U<>#j2! wVH2Уo+Rc5@ch(o+ȡ}F3'_@9 [ܹu&xt(0EȈuE.~0B#dPle|.:@$3+qr#هJ 1QeИ),!GB&> Afb5L8Yd&m#tfPBf^(.Ao4>Cjj.Fxݒ9%YRY8DznՏ_X hha''D(@^l6UqOToz&%'cά Qi"|Rި?_!ڄF&K}D.JT3G8_K~g`"](gQ(!no%Xþ򘁄L±eq_upy|L".&Npȿ6~G#xHjg^C -$8~0;#-c&לy'O߳ 0sZI" DL#,_8TR0t]QGιC7Rm@[&aMz{ۧdYa-i@"=7Quܳ 6+9`2% ,vR'ס ρ.Mn?Kem08=~lY`xE!/\Ef&Csv{F:iďb@lW^ff`+b()AM$A;xDph,ꋮl:fX% ش !DUY40'ʄNng#8&s)0E8ْpz"k}mzT,,4ǨI޶2cї*xYl`t(*J1;snvYwbro.nHyoTְ|N!<W^)b x"5ԦOᣤ\ʈ D|H\S|FF1 VT\lδ%䟆? (*}ioo7|DS13@&ţ!kAC2T4.P[ grbKQ5j{œ:{ji(lbmXIcQT9f<x Y<{թnӡ_0fh}KPh +>SAGp~АQRn麎x~A ez+NHp r{]O<,^/רq}C<O?AJ s3`K^mSk%A@l^C8<] _vSI]Tũavqf%g@Y|#kiWIH Uj 4q? FE_ICY "wDNDE&p$.GhGU)"0DY\