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 < 4<4 ] SuperCalc:threads=2elapsed=39.411cpu=75.660gc=3.556factor=1.927zXZִF! $]ŗXf1-/6vR[] ֧"zժڋZ( l-;T" `\!jcLYxL>k+"`Q'7k3L<6VD.h$&5z{s?R) 8= \F_T~U`~" ^BN=aG',,p&BorFeJTr3kN&JD]VWNZMǩּلЮ@M^MI/"ߥcW0 pfvxE4a\t僣jZٲRh4&C_:P&ɯMxu"=4}{8~k2[`;A)} nF®ijr>#Z4# yf"dn$~3z#ϡ_>MR_n79A%YI}v'fIdW7N3{VƺNoJJ2ȣK1q QyqR̔}r rX1kWf)Ht<2Pru5)WDz6|"+<: &]4B$}VJ5ӊs2"U_tfA6r\W#ge|+BIVZa k/yN*0Cʮ g $Ō+D+6(|1S^rJpeU2 I]!Ym$o!gYZ7zXZִF! ]ŗXi%>g {Bp^kʍ~稒x\?Bsi}w'Lg4[~S-aeRR?x4`,4clʋTԤwkw|$A5ڢP!W2#ykسD%ѿ~P7[e5N;@GCr{a d GeVQ;l ((WnZH1D{YfgR(k<0W0FڟP MMdT,><H%FO3gΙ۟B-st0()-18I{񁸄G>b'S0uZ9[ugjUobxBvOli#w g=!jQy"՛N]\ko=M 0ZP?vԘƁS,ZxNqW8O.@Uyzt#7<ٗrVM/MBv/W|K=p(EvU9.VJ(]z;y_ʬ XvӯcC{)WCYAґu|'axuv~F͐QmOR7͚rG dQpĉ qcW0y7iˊf&LNġ42b8mΐB@7}| !WkoɛF'XDPUvXY%>͗{ ,|,_ۡ Mՠ~b,yf[@@كe_R;cftT}s m;Y..Qo~^>gqKy8ڹj<z4(fj@{s3S8}!kd0o]YCD 0 B[֐Q̠v,mtS`!*}bcDg=Գ(t GBϲNKZ"z 9_< b7!9u ZEH.Uj}l)\B9=lf@ZUgq% ]e! !̈Ďդ82<]o$%O96DYj#":삮AfjEt%+a愀yxڬe#]H,vj B Ce≭ zڲ0 9FdNO%^wh<]% /UP>,SfJHrY1LhW4t0K|ТlԧdeRiSAhո!*CbQ{t#4ngoi馊sŹ U&@ jWj|ԩ ?I=SwC4[^7,}M i/Vvc;&=u=H­G,i4h(Zi &&j+ ODog}4JX,df*h=_ $fP><q<9|SƼFf4T4zYHu(QG2k5cq^==a