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 NK,4 ]/ Hybrid_Multi_Lane_Spatial_Logic:threads=4elapsed=39.750cpu=154.216gc=2.344factor=3.887zXZִF! u6]ŗXf[&r=X&88P'a|47QZ 2L9;a8Zh[Y[vď_9}.pHx0|~&өΪQψT~=ji;J!3\_&iEvw hwev~mE1>,2-{ԮEB/X'>Ws]diJ#issNk Uy#ڱ#n uvB}e ,҉2]}5e ȯ p<=R$+a?J&(ˋ YQM& "/1-X+ʼ<n?Ed!tR >9}ԪBWR)NSoۃ b1 tNz`݅^\TYZOq uψ_$g"#a@^ C;\/׻?9DR.[[lܵѯ>rhW&L%eSx.weDLi/ עy_`l,HYY(z7"Te4Gy3ĭ4˱M ;/7{\f,-o)=~`KKd7\rKyaR'St< ^S7ӰPCN TfT#ŵu Ay`ŐIgb?Z }I6H^W*[O 9t`>A4 Q*qm7>r@Dh p}(b^ԓ&Lf8!8՚%CYo|!ؤJ{lyN>4.yd\\6 5  﨓J$pO[G,;UMr8)MwGM! L BHsEjZ[dٍD#KZ`#V8Ά=P%^T_hHt1d'+PwDu|PٜӐpt .s֌b4sŇei 6k˪}OoV1wPi^p+Oʫ Xu )V!r?h)}C`ȽJ"/ӌtei`vG{D)8?"FYd J'U@D yA,7Uu!2!iX5A+eƧ[BZ8.[|ň逍a8]+ k 1U4@q4t@ia5AOz:G"pR^kDcUSi#Sq 36PQV@yd]lZUZD8s:LO#4FvRgj. ס2KxzJ}U<SZZѭI n. 5CgK0ѿMZzw:{r\;cR=ImasYt<<{$ bjzhb.$o 4kXU{\V7fz->CݟƗ,4C_+2@b[_֛ɍ`+ hªJ,,P`1\6W IYN5TpcMmTXYt`͊4.Q zDXVXeNϼt%x Š8`˕lXjR4f# шmtO{ t2au(8o m ڢJ@_yh"O}3CDimxv,R.k=,,9%`Hѹ]LHQ]n֭$` PJQ9Ke4Yiq=SjD=XdOEX\Q~q5zZ7yaX/ᚠ |R3(zF/#NiK*1z޸3T'skqjT뜣j>(\W~zV~i+ޝ_9y tv#wX)\T]<>iu;B "A wKn'Dt5 .T ɠ}}m6!Xm.`w o yGH pV/^ֺAGIL/ >%[k._yHY u_6 019V!P3mVX3pQc*foy[Bl7Bɲ\iRA닠{s)*v?1,S,>dĬW+##phXAOuB B[vٗ9|i5]S:[5kx>i$ At-06 hie"P .>|wC+ad5[e4/8^=5T0 }Dс[Pq6Qt]h{ߣʢKZ`ORkFrAl_WJI$DL0dkI@5BbrWvqM ٪7*'-| XaXޕ$#Km 5fm9!ڎTUsԝ ;8E!c9Dj@꯱:aapo[#j>yp&%xXo҅mXz!h)ѱ/KL\ib2U= <:} o68+ sFDAp3IRCDmB5~UͫHaI&}0W&2ɹTU:":qr0n(Voshfcp6/(עeJѫw̍aLk|.p?gkf6x37`"m0/7 x~9USXJ0V )hb.D.GR ֗?q+}s\$b:$хE푏d!b.ۃ )F/O*(@a2LR EQ ^cU][ ӈ mrOԇ 8Z4"%F2 \9* (, cA"JTCDDm .[z3J6Q)~!?8lI@6nX,HC& |D썁PwId/ez=)|yFmDnt A(=SHG{`uYVI#؂ɦEy7W=y1C˞wQ G{O?U k /$7XK\G>g) s0а p](>Raxnwhu_e!+ŻE;:g V9vTj!t kt<MN$XcZ8U(V?9km?Ie!M^Րhw7ľ͏%QƼBi>6SOz5Ql |hઐG }Tv6 X@Vl>XTغߗmX8\Y.7/Stu- r}])1QS|u ;gٟ\oe`kzDX .(o&I<(u\x"+| 佽)a}K#c;(,;jiur /7j$jk"LjB򬝣B0zl)C7MHcWj"C `o H;:hmLs=P ]̢dؗ +54k*H5~9ILKEʣ!5`OKRZ5%G'vmWv4cycMڊ7y͙zhHC9zBXZlP )uh ʹp30Ti[wAgYZ879d9e009617850c23032ea2ce128ab6901a94799cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d