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 T td4 ]S Show:threads=4elapsed=19.743cpu=50.408gc=1.872factor=2.557zXZִF! t]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@qI),Q{G"˱?}62LWR-g3%q\-]1ke?}C\@^aHYh&+@ tx5KẇۀIfŸi3D2jEEUJ2C5la.7 mu3Ɣ]B{!NV={Ľ"G_l:DBlGiGcuиp]WvC%.j ?[Gg`YU_ ttRp#"8)o.Xz-\|ƘQ"A@*%}&KYq>ڨ'0T^\c'y# LM?6 N ?k 5J?S(WYSgʱr{[Lc `a߿yBCl+>b/F?(8}m~/:gYZ7zXZִF! Q]ŗXiɟޅ*-qb;`¥>eŒYQESdysbLRW#K @IO!EҴ,r=W`eΩ-h5E.S*N(ẇkP2*==Glk(ɬH5! 735E1<ς]ys| s@O>#)x ꑋg 3 pe1}D'2#He# pN:GdS~""gYZ7zXZִF! ]ŗXi%G̉S_ ګ0qgT81'>*0' LuEc{s &[nu Oh<}4#kwT*%XJP 冭Œ(K$Гصt2kۚr(0hUX6nKoGro="NX1֡<:¬J,;#3S4|Y:aׇWShB،5& MRln'uqfpȭyk].ku$%;.3W@\=ӝG j%;pD]Yuc"AK?a%bO8JHJi 7+@>C1.*GU#D]Mv. |vYq[CE#EI/ۿ{J8o[ɡK#Mv.I;ȇ,?-(C1ӵIܐeʣ{/J96M#{*&|Q g[s;tr7A\(( _kmp6'Xcu! N+Kn7S 5TPVi3 V,ėWn<h(E!lG10nׄJ]PzNC>;"}N{*/|QE7D~~Ƃ( ܹ u{&7XL0b!;68u&GO 훥ZI)+S)YɚI@[ M?wK4jM)Hd "%@V%fs u;"4.}a l#GL/蘈f7m>77cJ2=ip_V\kkCjKŽ oL%*f52O)XbjFMe""^l ' q#xKx7 Xl@6|#5>RMlc\Z*tnz< 3sܐ٢ g!\]EnǍoi1֥kmc\%bo߮Jpc[ :o6S;-ȴ<1(nU}/6aR1L/JSXj,1k@-{l))mtOXҸþvŦC6MG0Jp2!aS`R2[*c&Pd4;mfoEU6zZ(Z:a˪g.i m?w!Qb$SX*wQ{Z;gs5EAK{0t/n̙o[S"m5ۥd Nd\ y۰BQxn(O3K䏕/Jd}ʟ25KJL[ˀNS+93rI#t҄͟c;<Iη 53ĺNnКF¼Ü*h3w %&0F*(uP=@ʀ) ^Ĩu?]I4 -ڠ 8 TFu[7a30M8tFZփ= t $ 9%U?Z_?Oj!y[re'ND֢*ep!`Ns'^K@KȽ_MD P* V2 폴=!~)c6ncrue37pf`Nz.;vGc{0?RtEa"#k1H6Z">Bjms.U;E]pv%D$ pQU) # K OijQ1Pb1,s/Lp|bnsݾ~K-=hLXYs-/ڃaxj!dѽ_Ql%`NYUO[{f~*B Ȗ{d!s?:E{T04TP&4x4-˜I,Fc.^sV}U$Pu|{HLulHkH4Sta5gwo3K=&b`cǙnM9~ <6-3.1۱gYZ9d0ca6e357b340b87523097a72d2eec105b74f3b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 8607efc3a6dce95c5387604903e07560e84d8cfd  Show