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  ]1 <$t ] HOL-Imperative_HOL:threads=6elapsed=36.527cpu=68.576gc=2.332factor=1.887zXZִF! -]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{eTIGIم;,.PH ?Nk*`Bj̥**qS>QAURҵzu_]C(,l\_5L'Ae1ľs^U X MHKt O7*E~Ku;6hdۢnq; .uwcQ>FM?恋a. 0 )ش5ŕGwhr3_d3տ[VnJW\$lbYU 'myYĤQ vtqTO?yiB?y;-ț|Cw#܀;ߞ& q@.2Fy7\)Mr9^MQ{ {_͇2FX@ A*^v^$V p_Tiz{._:*k٣_d1$=) .ܳnXN+xv1Rj ,4/.SO9 a.n-_ܠ 2<^I̴MM 4w_ϊQYK9&9"⤽fMەE.9e} T'b'(4ʣ0@E9<-MfUJq  mQd\ۄO|Jhڶ26YjjOh]g(EI;U {ŃlG\W\ډkdxܳH HO#_2+c tQv"mֶРM+wFZJz-כ=i':;@r]89.f^Մ) @؍>tpѳ'6piW[@>y[e=}+^'k6I3s-ŬQ'8¡_ zwbX*O40bJ|htL2Uv['+l,5!*4ɡM} c$@,xS=MBE<4[p&}#@ [igYZ7zXZִF! I]ŗXiɟ1nhЦx"n_8N]( eOtd;Lj6 %|ی!l~x";S5+%/._o*emC?2߀g`R_TIc֧P8 Mf*7 b' ֳS_UTS^H=Q۪4ϸ-G⧬,_'`&4.JM>3&㻗"cy/]_):t፨{X9=hZ3J^z\ v5>Lo1rWO5OwNMoh"wS" LӨ| wZh ׍MgYZ7zXZִF! =2]ŗXi%> '3׺p) <_;b!q5 sd8ye'*{.Y}<}Wn_Jcr~U`0ì :mb<7\(+ =ҮS_4!uc9V%(N@QCr&G9j+JZCEuݒlJHwc] QA:$ry*WzD Uy"/în'-g#kvb1 *7l BB+%e&9S~L"ŗ ;=VՃ8„Z:kM-Q-z_% _fMz@,Bsޮ7I\{C1dHA,؃?X=c9u*b0{X\X{/1U"ĈΤJ(m;0z/Q%C*\e4pfR2d1>-<{y-Z=?膃slڧG$XNò*؍bd(Ņ\+D}ĘWK.JKgQKjG5 0)ڀWA!5ABɺf~ ^,9ӆQnIrdMu=4'8#L)QfNeG&絾N$,X;~FIub.?oh3 eW۠>G,~*qfؖ!³W!Ө]-\fjiF{˺}jhi+ YTV]y3YXNTa%)Ez ǍOA3ĉӀ6ֳFv34O+KdYTJNYЦ_+9<~ſJ_MLrʛ ]| ll`fj 5ʚΤ<]|+L b$0"z2yӹ2qgyrxbӑāSHj СtuX$9N";zRoiI@XQ1§ =H#@OMf9Ȭ5lRW. 2uXT,WZ wQ YrKp1>t23=j߯A|Q3 hK aQpa{hK^[ %D=X&CV~Գ&Pz%&X)]/@#F@wI{J&K("ұXI> J[#WtͶvD[yH1YA7{ +k cp%lb\>q=>"kٷ(ށKqHҀALffs)/s mqk㵄DZ'%Ah^ `F56~qw`10T g8W;yYVޝعsIM+RfL RS;9Hr!NdC~CD&>QDէ֨VBnYS 8Jjbd6REEX1'kxp\Ŭ»8+3-.Bat90REXըu73