SQLite format 3@ .  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 44A'4l ] UpDown_Scheme:threads=4elapsed=32.031cpu=123.284gc=3.548factor=3.857zXZִF! N]ŗXf1-q恉<]d %S TzA=0 e">2kI$-%F#PX3Kf? ;ap|.iEW U}i)K3XN\>b{~"i& pj$8,aFTrSHxf##3YxZ9]nivkk:`*3'e32,2c8*vІ <1~MUXV/|ȒF4&ġ)zqދ`jB$:,kR'dݾ3PtK-*'j.$5 O Ԣ0 nu)D<,1TN~|{RBSlfjcGk"ʇ#4} -<<1z{V_@q,!q_nɸ9:CևJ4v+ pR~ǻDn"ZP-ż`^DN|*,@CB uNa26D\c)q[8D/D+eV'zǑ`h~-.ܑf*]=bG7YΌ:jhx%⚕C>i w"YbiX#.eK 5!`(m)yͮxx90(?p˃^9']8|eli H[2Rhee4=s-R}B\x_ޤYuQX~uXdO_E{mk6Ka99 ꀶ0MR yT~7[q搨܀,Y4^ 6QrV"'ٓec:j E:c'? :B« }=Ĕg=dC- k@R(tXX%ۼ+.௷"=V!7]GStZz0.o,M͸Kt'67 H3piLy,gSz^+vAЮ4Udq ,Zdu nV~u.l/yQXňnI }xFqppPLߌ0O@< 6qSx,4*{ q0,ZKeKG .93rʳ'w dzJƪfڹ0uVcꈱE,[ݏRwuʪz ɸ_hBĉp\჈bfw5qz/s"%z<5f@f`2~vzP0SZUY%`}#k/A}_V9XFUR)`KA;uUQMt!-%"bGr?@+kN >m`R?J$?BTnm5 .vF^<rvDi|7X#ӴT:Z} fG$Z^4 v;u<)^#&&.P2.rDC8֞vi~1v ]ű)lw/h" \9@#ctgBSDߪ}J_#ګ,BvYE[[]޷ߴW?[#%I\ UVN7 \Pp1τdG998 V||Z/TVHQ C.Hl0\*;V$M6/Gd7N'x?Xjvg)N^~ta&*3!z7= b_.CL[`(R^ qBk}7Լ|Wy:$Z>AcM̢k5` hA/G|ӢgYZ7zXZִF! L<]ŗXiɟ1˦rnzx <@0+gMj"aomU--N}r dہ*>Il2ֽpAFBq'} 4l`Ik?} BB<8Pa@ZV8xvb,g{c)N_7%hHhZBGW@Um,E P}!Ǭ֒T`Pw=%h6 ' UpDown_Scheme  Bi÷)qjޢz.*퀿hG࿈NwӌsZj,RvI_[uۥPE0wO!Ԡj|\e@4Pw5j6keQomVyeNeډLOOR5][יLɬG{1Ǟ.$;Yi<6g/KEڋePJ,P=xuFނIKU'*o*yB?˃K}~+ԾFY=-axUŬA̕\9Ȍip2 ^ʠo{*Ŷҷl,UXyPgYZ7zXZִF! G ]ŗXi%B ?@iB+`"9U Y!pەd8>/uu'w/Y0 (Ը=ZKS&,%ۢW'[Lbݪꅱӛ3I=I&/3_ <ԥn-yC %|rYA;~ܢif V2=Lt 3yPy|;j'k``8=mFڲplT3S C 0>X"Tc3ʿsA6_r֝v_x @n53r>T_ĢI1OxϋbN1=2YN#lPn 48!- 65&3dGda/#yPg0=k^grȺE[X Am|9̌k=Pv9qzNq'o2 Kov`CB܌MWF@ ;SV fSɖ*`"C7bg۶x^R,_}zΩN|U!-6On!2'IqTG/OII^ccPgM$ŕ5UQ#8<Ƕt6C,c nl *%RΦEc?~}gQ7kpØdd+A:tsg@l,5#Ѳk'3D״vE1%"ۢ<0;넦<^{)*Ďh#Zͪ=*Yv!o4 ~Й3Mjz%]Ź4)3~^DIE`0HS%tsE ެփpjXFQ. *W3ih(z 0aLGHcރD5_qb7BLt*&Pῒr$S0E`/.~<86GYz łY &c*T那o_S9!个RLN+Tq}l7HB;A LJ57sFO+eineV\ެ