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  H H-?LL| ]]HOL-Computational_Algebra:threads=6elapsed=34.430cpu=120.856gc=6.676factor=3.517zXZִF! 4]_]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Adᰅ|8rJ:vON9@V^2m=} Sa)*A)f䛴&bݕGV<ʠŎ T\,(RиWuBrNl#^\o챳*]JgƋ]wV}1}NZdFC!RiS^x7M- )[R=U1"~(ejaKhhgnpj:s`2ɂjr/ TTry/N'F":,V, `_,U6u8Kd0% M0\⩬[l G3]*֔gVmBS#. 6p]u®:mQesH lȀ*5(`!*ym?,4Hs$)̋ }&E?5D7&<*7&O l=x":6dnhB괁W}7Bz2T4hg5-)kXݗ.<2oCc{d٤= ƮQ?EGFl213n&2u)q-B2 0 '\蛮 -.L.r8tfX2u:y2 ? HOL-Computational_Algebra   Ԥ>Ë浕e'<ɕծ{3^z zG-%ׁL`/; /`G^Bx>:\JV8~>֜Bf}v쁨h.̓{ @;PYv6z)?*:+}""i>)+ϙpZXL"y)p?ۥ ϱH0!9@*QzzʢMȏC!}eU8W9y;kUPw<^ o<˜冣[u61^m9AJ |4(9R H WpNcivN V/SOۜnzʹrg$`P`&GD6wځX';q)1 vDg݉ūh3>Am?vJ1i$.(']d&Y &hK _c'[j@AX +d7n֡cb)jwWo]W1-CSh.*\6Fi:>,l`߈PHر S*=?ZjE hqvgYZ7zXZִF! ]ŗXiɟ1 &Բva Ōjo ?A `l*#Hs *?=xRW;̮z)%8A$deH}X%WsCGS[9̧\56ſJ|.nE&n Bc]+9."0^+$$7Q(TwՃd$葚Z,Wx\ JFãrRi lTw͋pp"xr9T-OV1ưs< E?  R߄9lz.s<]lqy]ڪ_Q{1\cxߺYoܮ>   %I$'@$l*jnBv̭lZjl"=э2Z)t #yx+QH\TvnN4]O%}S)γmLNbKl?|yXS' lǑ;ĸ\i [GӮkK)\lS;Y"waQzxOXmw~.N넞 odja5-uPB & 81ƇOSk\LCiT:>XR/vxVv;g̎9j06'7n" :C$suzf{j \v[ARb,61PM=`ԋ e_^r\兓 6%ۈOe~ k!  J+]AeɟPb"n>ڒD ~?9HZ|(i;y!mݕ+o@&d_ZΆߦ~4+!ffX 5pglr?:}~Y^Y{~ xNC*#~;DJH|I'KK. .cXptd=J D5K,WF #mAcl|$ 1MzB!7aʗ UI xpk k-TںI˩\>}Sb~6>|3`+V@R 9{QKa~6׮Ii4FXk j(k/;.}xI`V{x]@IIA?pox(zvw\S;}T%(?|0#o/lSt6:5]\ڲ?E3>zYW :5ma n6oR}閧%{($ :S#@1*K1bbW4ZE)d Ėen~@\S$D=R 8=H3R ܦVBl?>Qj"7v#N?