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 l9 4\, ]/ Locally-Nameless-Sigma:threads=2elapsed=43.113cpu=73.652gc=2.764factor=1.717zXZִF! %s]ŗXf1-/6vRZBh S,Xf³@2 4".%-p|0ɀǘ1vdziZ] șYl+ c%vU`8JY/ UY}@e*Ntaoh&TZM9jrQ,-0xdIva^OvE^nIֈ*󛬟$XBP٦pP>΢nskQN.T2|A- y#7DYF!lEkcjQ',;ej-a '*X"L|hcD/Λ!= *0 ?)47cvh4 h&aWAD wF`*3@D9IŠp*)'Ǿ\q+|IDs&{b۔ ɛyɸp --/'//׍(-ߖ˾<޸Cw?<WH>ӀcFeWF3ʷ'߃э,r[x|s̖=iT]h/e#=l "I{|E%^[y8-bRM} VgY:.=͐(6*T^6X! s3ΘlGPW=dj!r5Q lũwɪ8/3D%_)DEN1AT3C3D0oȜ=?7 c ko%& r'JL J?'RDަk(ΥD!a XcG0eG5a\1=+$ ɮgjkW)2z&NϦkIhxx|N 1UK¬K&IELsVOk=,:WUs' !{,hDG*v۪`[pxert(7ǩN4I4f:'HCN\BY}^<lp!3%(eJ"*+G{pr:JwN\o}!Đ]wq%В^asYޓM@oW!G|Wi}Y(xmJaZ_#(Pqkr>'_HIl 3)]&=mNrv&[l {`^$n-T >Mٟ,lˆ(ཟyRbn06=I cwC;\Jd_րܰ(ǪR-*ׅ*X܇ Bpc64bg Hra›|+D1G9Rb01 jo.R劌ZV쵰r] W\Z.owJl<%q숆&UKw,dz[̗RyӸ9>9J'Sguó34;X.s_?Uk+R`4v %fTV%.Ʃli%5IJ^,HY-{h fw ~@H kDS._R?[R~۪ U@N&67CIOM\w2l=x,_tdAsKqvGz|;P{ x/3da3?5G|SR~B0qͻu'}ƾcC74h (>Z|$<[(j"HPWebŋb|v=fe]xWqSax9l% 3NNk~ 2IgVIWՑ1҃S/%)5갛'z1i.*Vk)R !xm?{HAZ_ՍL5%=E9(@dx`(m=QSG^S|nnbu-ϗWw*w=|j[d9٤ye+PEFƈ}W %( ¥piɚ Ԙ@%J-k!/R!v vpv>b]@fN~Tk^MlVXs ݕ#2ۄ~67U-؟vDHhH?| b,-Ihr$OQLdv5$9]W,(¯C ۳eLI%S}^;O b{мdǂ4whI JU>U۽Gz}/sU ^3NqJКcGb` 8V^ևw~Tn&ɲs( 4MyE+u5Ϋ;cHQ]bѫw}"YU^&T-!z=43ED¸|p9FGJt#0`z[wc8Ɠ4H84D)#4OWZt ^P 80oϮ:w塤:%ȏvl"x[ۖ#;3z;ܘ