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 [7 tL\ ]/ WHATandWHERE_Security:threads=2elapsed=38.298cpu=73.764gc=2.624factor=1.937zXZִF! *]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC=>AC{G21pM*Qk>DI<* z# ɹ%t&h3FTI`OEY+$ZVU/`7+G4>}0Ԯ +/"<3Na}֣/UPPlϠsV1JEDfQ bº~=7ﺪ"Oq: V"z]—_Caq<~qU7B/Sd5 7 WHATandWHERE_Security  cҩ[$Gخ-ἥIM,XwC7ʨ$p[g9H<µZݧ W,Ĩߜb{A2'.85 f<ˊ/R=6YhAt̙F}{ T6r eJ!#6z"gfO@iKd̳d`׆Eݿo 46o/2Zżȸl \鲳|+q])q9ܝ 'i>B8@f:mJtढ?[^8+o|4C ǞNI>FEeʤL:'PX +.=y3q/T짱js"s*盛F/`Ҟ`_-yABx#ʐm#nggǘ߈Y"A*D?G|\ԷJBZ^xBxՏ#566@dDH֖|Q%dEb?[ҟEy?BbE.Z#DWg1LZ!?b]bbEdOm(#+қJaab=]4Y&ԂuϜѮ\jL*[/q*W6߆6}ArbutDE)[UugYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#p;2h;=бzhBl%-y>uĽJe5*8^3_ULV/7z,7OuC2qq.QOt`YKMG?EAf;ߦn;[N8ϟZoSA*қ@tI#Kn9#^b-@k,]U[xl!3|5x,q2j? !́VAAqcXJFFgYZ7zXZִF! Ɍ ]ŗXi%>goPlklj;~ahǮ*E q $*dUsh!Vbzo,**ZXw03CHi\Q>w4,ֻd3, ;<Ⴄgӫw,vC; 3TCq9a:}z>Az(PLy$c;zn!#LJ *(Y}OObfe9wzQeh|p!4sDJċ _h6(WS>x`SRR6f XL9.IRf$G܃oV檾5VFB9| ג+·!I N&.^ _ I#:9I @_[&l鬹a}m!p~΄_׍=} ὗ>as}jn.KڮacwZ\b> Oj]S9QI n_6d|F M*i9L&g)\e2.y K  +i̅}8-F'1?( W0/5v5l&v33uŢ[@J`{_lT {h}c\!u*r ϹAE#D oww|ॲH&9U1RXAgzڶ@~qа1,?bRN!e uY+ax˫DS7ހ B | Bf#6MraX=р!m~|tˊZ>]M*JE*)Nr/5T⏎s5tR<8`hU 䕛 C- 'f9~]6om1׹= M$-96ڗw6\͑ [ qNfo-ً+ʜ(KB9'gVƦ{=ꕈqbLEIviߑ1 ~Ǐ||!~ b< P&0D [Ds}͑mmwqF ZQ_aa]\Z )3urS3_˗-L0ᬫe~iŗ/>Aؠ֋?B\:1t.Aγz8 RV,JZ~m2Gا-;$r sCp<д: __$߳ <)nI,^ B9MWK*@m@m`N59 P&!Ցd=AġCmoŢ J HKSXtA&ur )rchM.t}̋gIDÉu2ko6ho;-3<*Bd<)l%[l0Oj^ j+ jz/^|s`mt#7*2oiDB +>@PIn(-7{R8THoJQS6Jy-%1Iy/&Gj *ЃOM2ޖ t<B(t{?`c2yq4c,R:|b #򸷥Z䄇qcLPLw<'efz"yrGĂݥoYVm ( @(EfvTa+J>fﵐ?ucxRg&iL[CpDj y]ψ4NM'DN-#BoZ>,,sOfj{5]F|k9~yNpo 'D} b'b7gYZ1824ec60411f1a1de41a652434d16c3bfcd48cab97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3