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  u u ]/]Datatypes:threads=4elapsed=65.908cpu=104.376gc=6.588factor=1.587zXZִF! "S]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$} po= Aԕ3FR@/H"wPsXGE6L҃=.\VŒ}-@J6?^Ym /VV۴CCT܈byĊ&<HP]ʘ3#۪j>A6s^ǨB'u ˯ZzؗG֜aBZc{\H.Hݧ۫*;?Eτl?7.37PǓںss*GU&&4 f@~HV/G|"]B\Z`v-Û#oH>C[$0EW*/Gp;Gy`m屜5ۮ}\9QǕK*s3x`dާPkpN $x|䅣GW'z#@QPJz%fv)q5h3=NzHCOVY^|&Lf,jg5kw2k^5,Ncdw@y:>Mtk\bEX !> (ۇfKߛNLOQkZIˢϜa"G& .ƾZ OMe- dm-*H mNfwْā/i,-G/fk (ijg}<* _79QqgVae    Datatypes   ䷘FjB|!IZ1ٟlw(xa8F#^j$ & kU[ "Qbj\36\$W^7l)#zö.&^~> S"'?J+Uh@Qƶ2!#e΋LkQ.cp=VCu2E; V&IW b %%Qxb$\Yg/b}D 4gYZ7zXZִF! ]ŗXiɟ&zLo+Qc K^Ӓ]jj_do>IЋbiɉ$BJTTx週lg1$|e: g4Wbb{a L?( nB[2y7H/w7%awz1Xį׎iO2ۯ^þYcTh߃?-yGRW}zWXF3=CsF#7H+ίdS_]&tns=Ϳ߸q˹=j-cވi|5kc ܞhݐ0 :jatP(LJ, …S' )>.Y AL+ : o2`ϰ+Sl JdR2:%3H6EG[xCC7Xc .NA|J{|i۪9(< Z>,øEFI~E~~_f8[JUP`iZQݥ&ۊ?[?~͐[@5vcwإ.l(nQzqm_e".gfOjh)F잎BRI؋i <ѧ.ޑ@JuF 3]\9z*=I3;!*<ʭ̴a1 dyDrY[˘ 64UĘC￳RéY=ep{pP!@jCqQ+#"0@c-"~@=vT]TZ!<gpԵ y+/$Aq]P|2"߂v|7Nz@Y TĆv\>F2tF3=.5<@Mua ~i{ λy``>GF[IsOq} xWjAZ]Ntn4$+Xka~(I3.{#-F-1z+ -'4h(}f 8_ ۥa;FX^L^y$R7W%ZP҂\OJT>kmVS[43fޓK3o<<gqOk}}Ǻ<$OIat. jS ɺGycDs I QTfYÿ |pl䇍+ռ>kF"cv3 {Z @ڇwɏsm;hDݢC/ta$6!} ǒu%Ѳֳʧ1j25c!eO"6Ԁ5{H*ekT56A[0fPԿz? 6ff{K' .heڶ|Mgx8YZ)5ζ;/N3?zLL~|6+:qJ(!: ##[MWDmM zbN4]23JFGTwvӆ9$HKײJ5>~8CX MWbDjJ|1t@M(鲎)p1Uj.&8z5hwe!*~iB8I KXy .y#E#۞ubԂG&q5t\EePr9앣jY__-O >20G v}UEQخFy'FﳾNh~T,, }Ú~]Ykol!٦=SwO})k䱩#baoW<=@pKʾ=kD_.F R럳yClFz4G Yy֫~y=\Ͽ|_QSeGª:a31a|S"E{@5eR_}YS \t 4A1[C_rKn}@AzDOYcw>h{Q)FXYq+J `)'Qy;9g6 wҾmDG="Nct[`S֩Sr~v#v&C}Ȉ33f ۄx,0}]Nߒ{QH$ntm6SCiCB2U|[ !G)dAnbl! VE(- (ywj*,p'4"tchRDrS*e_/D#nNj?5Qqg#2ghN*"_9xA&1GÖ)7)eQON倾Bjrga `Zes,͇nXhٷuM=6ZvQ3?;}˛N]% EH׫Q( 2H8bIX|jݜ].>9?X^Ρzs}ud=9y֘UަT>-fFղ5f xPA[Wt|F6|2"Bq>~a\ ^Al [*G v8}eF|G> ܕtm&!:-ܯs,gYZ2d6459707f4aa0ec7f309f4e1219d872078b76f79cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d7df15fb1e7ddd6bc1a1c5759919ceb5e5dbebc61