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  a a# D \ ]% VectorSpace:threads=4elapsed=32.384cpu=99.476gc=4.036factor=3.077zXZִF! C]ŗXf[&9ޗepz,>SvK9Ofh f:un }\\*-bT{ns9ys3DG;!> NJu=B&-!\Yh0-+QZ-2zˣYf)@EP_n73k:ʌb~D 7SfݲV· &-88%mY^$dYЄ%@[.A g{chFʽ5 Ȝ+8-6la1rfU ߣWAG~)9NO[|&_rs꛷6?[%csϨPqANSWl^.f+ 1+y2´tSL+?/} &d:䔧B*`U}/.atԢ$amf3-1Wղx>/hC5դ 9w0#wD< # VectorSpace  BUwӔxUQ_@ %`ќW # ?KO-e%BLt2e`Lit4vM7^WJE~|1f@Nѐ%2pT5_bXfE`Y& ՘myydc%Ԣ{7@*ly1>ua\2!$)biwamE _ Ү)+WFFzV/l)rѓ"Q&mn-5 9y"{NwF#@0P@hA/f<d錊^cՍ5bO3~όS#781 6OV3:h{PCdQ&Y4dzF.J@#]\1a1v'-F&LQ%2Ë F'ɬrvǬӹG4zCo"\vu6$}rD|,@; ,.t@,X=Y}@%%xώk)8I&w^sԍсcLʣ"w7'A;t۹U'ƫ]ls="bRݮLq7h ط737nV:t/&m5d[v~R|H?9RB \.½cE$P'qĭܔ^iPOMhqkD fZ Y70f*2^bgM #^t}Ҹh+FcrC; "^ :ϱgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({U~= d\jV4} "кRhz BLU~eK#-8{b&Y0R'g3s%l(cDH$urpa!'ܺ%:;:U0mwC֣o3CT^gYZ7zXZִF! ૒ ]ŗXi%B4(3 m+nq+zm--; _-zו2.1Ner3>{~p: ǥPh$IGZˆ+ȃh=՚ ])"+YsYzkw4IS+dN 7YOInQ\)vʚ@|D;k&:?[Y7}y*-i)yvֶfe6Dwʇ<m~t6S0MBjTA;+Ñ8YƲ$Z-E,l\͊BDU}%Z%7d)%ġ z< [#쳧 zCyIUktfƜP%L}FH6 pJ.z7O 'GΟL1u}Uِzx?D>A:}tlp5Rr*Xd,WZnj~BDT[~&BQ+Wkl==jLԫuEp= e֝R +JO0mvų/ iE6"ֵ'ul"6-lZ9O0{W~w&vpT~?h[ rE<DaU;2lETP˧ ÌˁF}$rCaCRS2m m.R7=b0U9W's[@a%ȧNr>GHa?x&=l7W?_Έz ,Y>C,]WE7wE_istz3{=ߊ=5d+k\F{XČj52C Ko7.w%)6aKY~p ⎼'P= ގ({ 6kQBz|NSy1M %کBK0j'vLob ۻUf,ٖ_9䳚5t\ǓI7N/Q(5#IT ku{Jxbym*Hoi.;3$lMQYlLz:}c&HvPՍ ^, .@-gBz fk-Pҙ{RE}^"=,߁h^3!#gaDl&`XGľ1| M)&{.jAl#EW3$ZnMBs_Hl6q1"k&@D,ۍb$Yd?C*nJҟJ"d ƨv2a%ʫs=ퟺPZ.Yk53f[sp=SkKR_53+%de!zgȆW׳LD$ưɽT쿤KIH{d_)t=`A|DIәbt9k Ǻ;8_L-b{wIjEt4&eq>QǵY2i,evF\cF<:^;U2Ac t#VeKq$ 0)ێiZ P豨d-hW" (h>e]r7[ne_n 6S2ZӖ_oSNr$iB0(l~z)ص`L妐ĉJ#o ENRwS3% hUoSROųP3̒twck!b*Zy([d{/I;/s2!izN+bQcgt;Gd#԰S ضﱷ 91P7@Nd8o¤ڼd,r=0:.MR<&Y˅,%W7ƻd&Ak8f=F$EH eN>F(^oh0g/zw,"T⚜9e o f7m!R"@|Iis> 0?g4jy ߕ1%GPJ*xđkq_ax%\|A8qec]}%LF)[` r Yn?$ FA &ˣ92:G}-D'8p